Synopsys Cloud
Cloud native EDA tools & pre-optimized hardware platforms
Request a Free Trial →
Synopsys is a leading provider of electronic design automation solutions and services.
Synopsys is a leading provider of high-quality, silicon-proven semiconductor IP solutions for SoC designs.
Synopsys helps you protect your bottom line by building trust in your software¡ªat the speed your business demands.
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.
Follow on: