DVCon 2012 Video: Product Engineer Chris Komar Reviews the Tutorial on Formal Apps

In this interview Product Engineer Chris Komar recaps the tutorial on formal apps given on Thursday March 1, 2012 at DVCon.  Chris outlines how the "apps" approach can tackle verification challenges that are relatively easy for formal and formal+simulation to solve, and backs this up with some examples (including a low power app introduced at DVCon last year!)

If the video doesn't play, click here

More background on the tutorial itself is available in the original DVCon event abstract, and in this article by Richard Goering, "How Formal Analysis ‘Apps' Provide New Verification Solutions".

While we trust you will enjoy using our off the shelf apps, we also hope this gives you food for thought to create your own apps tailored to your projects particular needs!

Happy Verifying!

Team Verify

On Twitter: http://twitter.com/teamverify, @teamverify

And now you can "Like" us on Facebook too: 
http://www.facebook.com/pages/Team-Verify/298008410248534

Reference Link

DVCon 2012 video playlist