EDA
System
IP
SolvNetPlus
Training & Education
BLOG
Oct 01, 2023/7 min read
From this Author
Yann Antonioli
Yann Antonioli is a Sr Staff Applications Engineer / Product Engineer in the VC Formal Team at Synopsys. He started working in the field of Formal Verification back in 2001 at Verplex Systems, as Applications Engineering Manager, then at Jasper Design Automation where he was the Product Manager for JasperGold. Yann loves analyzing problems and leveraging existing tools and features to find innovative solutions.
Ask
i
NOTICE: You are interacting with an AI-powered chatbot that provides general information about Synopsys, including its products and services, which may be incorrect or incomplete. In the event of any conflict or discrepancy, the terms of your applicable agreements supersede any information provided by this chatbot. These chats may be accessed by Synopsys and its service providers to customize the experience and improve this tool, and your use of this chatbot is an agreement to that data processing activity.