Finding Your Way Through Formal Verification

Finding Your Way Through Formal Verification Book

Formal verification has always appeared daunting to me and I suspect to many other people too. Logic simulation feels like a “roll your sleeves up and get the job done” kind of verification, easily understood, accessible to the common man, little specialized training required. Formal methods for many years remained the domain of academics and one-time-academics performing an essentially black-box service to solve really hard problems unreachable in simulation.

That’s changed because those hard problems are becoming much more common and because verification tool providers have made it much easier to attack many cases without needing a PhD or induction into the formal priesthood. Better yet, there are excellent books to introduce novices to the domain and walk them through their first steps in using those tools. One thing Synopsys and I felt was missing was a higher-level introduction, for a verification engineer, manager or director who is curious about formal but not yet ready to commit. They’re asking "is this right for my organization?" "Is it really going to improve our verification quality or throughput?" "What are we going to have to do differently?" 

We wrote "Finding Your Way Through Formal Verification" for them. “We” here is myself (Bernard Murphy from SemiWiki) and Manish Pandey and Sean Safarpour from Synopsys. The book was published by SemiWiki and is available for download HERE

This webinar is presented by Bernard Murphy, a part-time blogger and author with SemiWiki, content marketing/messaging advisor for several companies and serves on the board of Mother Lode Wildlife Care in the California Gold Country. In a previous life he held down a real job as CTO at Atrenta. Earlier still, he held technical contributor, management, sales and marketing roles variously at Cadence, National Semiconductor, Fairchild and Harris Semiconductor. In his re-invention as a writer, Bernard has published well over 400 blogs between SemiWiki and EETimes.  Manish Pandey and Sean Safarpour provide their insights during the Q&A portion.