Contact Sales
Contact Sales
Our Company
Why Synopsys?

Our Technology, Your Innovation™. Trusted industry leader.

Learn more
Industry
Technology
Automotive Executive Guide: Rethinking Automotive Development

A guide to virtualization in software-defined vehicles for automotive leaders.

Download
By Function
Synopsys.ai
EDA
System
IP
SolvNetPlus SolvNetPlus gives instant access to docs, downloads, training, and self-help support resources online.
Training & Education Synopsys provides training delivered by subject matter experts, offering both public and private courses.
Learn
SNUG

From this Author

Alfred Koelbl

Alfred Koelbl is a Synopsys scientist and member of the Synopsys EDA Group, with a Ph.D and M.S. degree from the Technical University of Munich. Alfred is the architect of the Synopsys VC Formal Datapath Validation (DPV) technology.