Wouldn't it be great if you could begin serious verification before a testbench was available? Even better, what if your verification process gave you exhaustive results? Formal verification delivers on both counts, and today new property creation and debug capabilities enable regular engineers to make use of classical formal techniques to explore their design's behavior in an intuitive, interactive manner. Even without knowing a lot about assertions formal can be used to "stress test" the design during development and explore various scenarios which may be challenging to verify at the chip level. Applying formal early shortens the overall verification cycle by finding and fixing most bugs during development instead of late in the verification game. In this seminar, you will learn how you can get started with formal verification techniques including what you can do when your formal analysis reports an "Inconclusive" result for a property, go deep in understanding fault analysis with formal & how to use Formal-specific Coverage to Measure your progress.
Login with your Full Access account to download the seminar slides below.
Need to become a member?
Download all of the slides.
*You may need to disable your browser's pop-up blocker (or add *.verificationacademy.com to your allow list) in order to download the slides.