• 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. The Scoop on Tracking & Validating Formal Assumptions –…
Sarah Lynne
Sarah Lynne

Community Member

Blog Activity
Options
  • Subscribe by email
  • More
  • Cancel
funtional verification
ABV
Verification methodology
metric driven verification (MDV)
Functional Verification
Formal Analysis
Coverage-Driven Verification
Incisive
Enterprise Manager
Enterprise Planner
coverage driven verification (CDV)
Functional Verificatioa
verification

The Scoop on Tracking & Validating Formal Assumptions – You Don’t Need to Assume

17 Jul 2009 • Less than one minute read

"Tackling formal assumptions through verification planning" is a recent article by Chris Komar and Frank Armbruster that is available on EDN. This article has fun with the old adage about what happens when you assume but very quickly get serious and applies it to functional verification and specifically formal property checking. It talks about potential problems of assumption escape and walks thought how this can be avoided by incorporating check into an automated verification plan.  You can get the full scoop here - read article.

Sarah Lynne Cooper Lundell

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

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