Go Back

Cloud native EDA tools & pre-optimized hardware platforms

Request a Free Trial →

Multi-Die System Solution

A comprehensive solution for fast heterogeneous integration

Discover Multi-Die →

Explore Silicon Design, Verification & Manufacturing

Synopsys is a leading provider of electronic design automation solutions and services.

Simpleware Software

Virtual Prototyping

Synopsys Cloud

Unlimited access to EDA software licenses on-demand

Request a Free Trial →

Explore Silicon IP

Synopsys is a leading provider of high-quality, silicon-proven semiconductor IP solutions for SoC designs.

Synopsys IP Portfolio

Download Brochure →

Synopsys IP Technical Bulletin

Read Latest Issue →

Explore Application Security

Synopsys helps you protect your bottom line by building trust in your software—at the speed your business demands.

Integrated AppSec Solutions

Your guide to securing your open source supply chain

Read the report →

Company Overview

SNUG 2024

Synopsys User Group Conference

Learn more →

Pursue Your Passion

Start Your Job Search

Apply Now →

From this Author

Oct 01, 2023/7 min read

Synopsys Users & Experts Come Together Again for Annual VC Formal SIG Event

By Yann Antonioli

Tags: Verification Central, Verification, Formal Verification

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.

Follow on: