Like the venerable Kenny Rogers once said, “You have to know when to hold ‘em, know when to fold ‘em…” In the verification game, much is the same. You have to know how to make the code, and you have to know how to break it. In this week’s Fish Fry, David Hsu (Synopsys) joins us to discuss the challenges of static verification and formal verification, how to “shift left”, and how to make code just to break it. Also this week, we investigate how hierarchical timing analysis may solve your sign-off timing troubles once and and for all.
Download this episode (right click and save)
Links for September 19, 2014
More information about Next-Generation Static and Formal Verification Solutions
Synopsys Bridges Design and Verification with Next-Generation Static and Formal Technology for Verification Compiler
New Episode of Chalk Talk – Abstract and Conquer: A New Alternative to Hierarchical Timing Analysis