Advanced Verification Planning Techtorial

Metric-driven verification: the methodology and automation to solve your
functional verification planning challenges

OVERVIEW

Functional verification challenges have never been so great. With ASICs now in the multi-million gate range, verification engineers need to generate and manage thousands of tests, deal with frequent changes to the DUT spec and project plan, and coordinate multiple teams/sites. More than ever, advanced methodologies are critical to begin the project "with the end in mind"-to set up metrics for verification success that are directly tied to the DUT's specifications, and track any changes as closely as possible. When such metrics are captured in an easy-to-read, executable form, the verification process itself can be automated (along with all the supporting formal analysis, stimulus generation, simulation, and debug activities), yielding new gains in productivity, predictability, and quality. This is the process and promise of "metric-driven verification."

By attending this techtorial, you will learn how to reduce the risks to productivity, predictability, and quality that threaten all complex verification efforts. Specifically, you will learn:

• The principals of metric-driven verification (MDV)
• How to create an executable verification plan
• How to bind this plan to the MS Word or Acrobat device specification so any spec changes are automatically tracked and the relevant metrics are easily recorded, analyzed, and reported to management

Space is limited. Sign up today at:
http://www.secure-register.net/cadence/incisive_techtorials

Agenda
9:00am Registration / Breakfast
9:30am Metric-Driven Verification Introduction
10:30am Introduction to MDV Planning
10:45am Break
11:00am Workshop Lab 1
11:30am Verification Plan Development
11:45am Workshop Lab 2
12:30pm Lunch (provided)
1:30pm - 5:00pm Workshop Labs 3 - 6

The techtorial consists of several workshops during which students will be able to apply many of the concepts detailed in the sessions in a "hands-on" format. Laptop computers loaded with the latest version of the Cadence technologies and flows will be used, allowing students to work through a tutorial-based manual with assistance from our Field Applications Engineering team. No prerequisite knowledge of the specific design solutions is required.

Module 1

Review of how Incisive Enterprise Manager's default executable verification Plan (vPlan) can combine and organize functional coverage with code coverage, formal and dynamic assertion coverage, and firmware code coverage to create a broader "metric-driven" approach to verification.

Module 2

How verification planning and project management goals can be synthesized from the DUT and test specification into an executable vPlan using Incisive Enterprise Planner.

Module 3

How to reuse existing vPlans and regression data using Incisive Enterprise Planner.

Module 4

How to map coverage and assertions from the regression coverage model to the executable vPlan elements using Incisive Enterprise Planner.

Module 5

How to execute the vPlan created in the previous modules to track and analyze the coverage and simulation results with Incisive Enterprise Manager.