Advanced Functional Verification with Questa and 0-in product line

Overview

Questa™ is the new line of verification products from Mentor Graphics that offers built-in support for testbench automation, coverage-driven verification (CDV), assertion-based verification (ABV), and transaction-level modeling (TLM).

This seminar will provide you an understanding of relevant advanced verification topics utilizing the standard languages or the library of predefined checker and monitor (QVL) delivered within Questa. All this technique will dramatically improve verifying today's complex SoC designs. You will learn the concepts and techniques behind an advanced verification methodology that can immediately be applied to your current projects. Furthermore you'll have an overview about how 0-in formal technique could help you in finding CDC problems in your design or using model checking technique to validate your design.

• Testbench Automation
• Constrained-Random Verification
• Assertions
• Functional Coverage
• Formal Verification

Date and Location of seminar:

17 May 2007
Mentor Graphics Italian Office
Piazza Montanelli 20 - 20099 Sesto San Giovanni (MI) - Italy
Phone: +39 02 249894.1
Fax: +39 02 249894200

Agenda :

09.45 Registration
10.00 Functional Verification Overveiw and QuestaSim Introduction
11.15 Coffee break
11.30 Assertion Based Verificationand Functional Coverage
13.00 Lunch
14.00 Testbench Automation and Formal Verification Technique 
16.00 Question & Answer