Integrating Functional Formal Verification into a Traditional Flow

Online Event Registration

Click Here to Register and View Today!

Overview

Verification Expert, Harry Foster will present this seminar  starting with a review of the inherent limitations of traditional verification flows-and how these limitations have contributed to the increasing number of functional failures in many of today's SoC designs. Building on this understanding, the seminar reviews how contemporary verification flows (such as assertion-based verification, constrained-random verification, coverage-driven verification, and functional formal verification) address many of the inherent limitations of traditional flows.

Next, this seminar discusses guidelines for integrating functional formal verification into a traditional verification flow. Topics covered include:

  • Identifying resources required to construct an effective flow
  • Impact on schedule and quality
  • Where to effectively apply formal
  • Impact on functional test plans
  • Blending coverage between simulation and formal

Who Should Attend

  • Managers
  • Designers
  • Verification engineers
© Mentor Graphics Corp. All rights reserved.