• Skip to main content
  • Skip to search
  • Skip to footer
Cadence Home
  • This search text may be transcribed, used, stored, or accessed by our third-party service providers per our Cookie Policy and Privacy Policy.

  1. Blogs
  2. Verification
  3. DVCon 2009 - Day 3
jvh3
jvh3

Community Member

Blog Activity
Options
  • Subscribe by email
  • More
  • Cancel
funtional verification
verification strategy
Functional Verification
Formal Analysis
Testbench simulation
DVcon

DVCon 2009 - Day 3

27 Feb 2009 • Less than one minute read

Today I was able to cover a paper on "OVM-based Methodology for Low Power Designs", and the panel titled "Mixing Formal Analysis with Simulation: Why, When, Where, and How?"  Click here for some annotated photos.

Notes:
* Given there is much to say about the topic of Low Power in general, and OVM in specific, I felt authors John Decker and Neyaz Khan did a great job in compressing such an expansive subject into the presentation slot.  And given the great Q&A during and after the paper, it's clear that the interest in the topic is as high as ever.  As such, I plan to do a follow-up blog interview with John & Neyaz.  Stay tuned ...

* Interest in formal verification, and its relationship to traditional simulation techniques is also quite high as evidenced by the fact that people were literally lining up to ask questions of the panel.  Suffice to say, the experts on the panel -- including people from all the EDA vendors that sell formal tools plus customer representatives from ST Micro, Marvell, and Sun -- did not disappoint.  It was easily one of the meatiest panel discussions at this year's DVCon.

© 2025 Cadence Design Systems, Inc. All Rights Reserved.

  • Terms of Use
  • Privacy
  • Cookie Policy
  • US Trademarks
  • Do Not Sell or Share My Personal Information