Home > Community > Blogs > Functional Verification > video of dvcon 2012 product engineer chris komar reviews the tutorial on formal apps
Login with a Cadence account.
Not a member yet?
Create a permanent login account to make interactions with Cadence more conveniennt.

Register | Membership benefits
Get email delivery of the Functional Verification blog (individual posts).


* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

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

Comments(0)Filed under: Functional Verification, Low Power, Formal Analysis, metric driven verification (MDV), DVcon, verification, ABV, IEV, formal, IFV, assertion synthesis, assertions, formal verification, Chris Komar, assertion-based verification, Joe Hupcey III, Assertion-Driven Simulation, apps, 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: 

Reference Link

DVCon 2012 video playlist



Leave a Comment

E-mail (will not be published)
 I have read and agree to the Terms of use and Community Guidelines.
Community Guidelines
The Cadence Design Communities support Cadence users and technologists interacting to exchange ideas, news, technical information, and best practices to solve problems and get the most from Cadence technology. The community is open to everyone, and to provide the most value, we require participants to follow our Community Guidelines that facilitate a quality exchange of ideas and information. By accessing, contributing, using or downloading any materials from the site, you agree to be bound by the full Community Guidelines.