Synopsys has made an array of training videos available to customers covering a broad set of VC Formal specific topics from basic setup to advanced methodology developed. These videos, developed by industry experts, are now available.
*SolvNet ID and password are required to access Training videos.
The training videos vary in length and detail to fit your specific needs. Some of the topics covered by the training videos include:
Free Formal eBook in English
InFormal Chat - Keep up to date with the latest in VC Formal
Synopsys Extends Leadership with Enhanced Verification Continuum Platform
Synopsys Delivers 100X Faster Formal Verification Closure for AI, Graphics, and Processor Designs
A Gentle Introduction to Formal Verification
NEW VC Formal Training Videos
SemiEngineering Tech Talk: Formal Datapath Verification