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!
On Twitter: http://twitter.com/teamverify, @teamverify
And now you can "Like" us on Facebook too:
DVCon 2012 video playlist