Model.com | Register | Latest Release | Contact Us | Feedback 
 Your Resource for Design & Verification Information May 31, 2005 


Welcome to the
Informant, a monthly newsletter that focuses on bringing you technical information on Verification products from Mentor Graphics®. You can update your preferences at anytime at the Informant site. We welcome your feedback and hope you enjoy the material.
 

Spotlight
New Questa Verification Products attack Verification Bottlenecks

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

This initial release includes two new products: Questa SystemVerilog (SV) and Questa Advanced Functional Verification (AFV). Both products utilize a new verification technology, Questa™ Sim, the first standards-based, single-kernel verification engine that integrates an HDL simulator, a constraint solver, an assertion engine, functional coverage, and a common user interface.  The Questa line supports SystemVerilog, VHDL, PSL and SystemC.  For more information, visit the Questa site.
 

DAC 2005 - Join Mentor Graphics in booth #1800 to see the latest in Verification

Anaheim Convention Center, Anaheim, CA, June 13-16.

Verification Suite & Booth demonstrations from Questa™, ModelSim® and 0-In®

Advances in verification productivity are achieved through testbench automation using constrained-random stimulus generation capabilities, assertions to identify design flaws at or near the source of the problem significantly reducing debug time while increasing design quality. Coverage-driven verification delivers the predictability needed to effectively manage the verification process by tracking and reporting functional and code coverage for block and system-level verification.

Come see these latest solutions in action, seats are limited so register today!

SystemVerilog for Advanced Verification Methodology Discussion, Mentor Booth, #1800, Tuesday 4:00 pm

Come to the Mentor booth on Tuesday, June 14 , and join us for a brief discussion on SystemVerilog and its importance as the leading standard for today's complex verification challenges. Complimentary beer and wine will be provided.


Accellera SystemVerilog Booth, # 2284

Accellera has taken Verilog to the next level of productivity and usefulness through development of SystemVerilog, a set of extensions to the Verilog language, to aid in the creation and verification of abstract architectural level models. The SystemVerilog community of suppliers will demonstrate products and services to showcase this widely-supported language standard. Major EDA vendors will anchor the booth and will give scheduled demonstrations during the exhibit hours including a "Meet the Experts" discussion area. Come see a demo of Mentor Graphics SystemVerilog solution for Assertions, Functional Coverage and Constrained-random Testbenches.

Pavilion Panel, Did Assertions Help you C.Y.A. on your last design? Thursday June 16th, 11:00 – 11:45, Booth # 2269

How assertive can designers be when using assertions? Are assertions the "holy grail" of verification? Do they significantly help reduce design respins and improve first pass silicon success? Find out from industry leaders how designers are using coverage-based verification, and the benefits and results they have seen.
 

Moderator(s):

David Maliniak - Electronic Design Magazine, Paramus, NJ

Speaker(s):

Curt Widdoes - Mentor Graphics Corp., San Jose, CA
Wolfgang Ecker - Infineon Technologies, AG, Munich, Germany
Carey Kloss - Cisco Systems, Inc., San Jose, CA





Half day tutorial – Hot Core-Based SOC Design;
Design of Multi-Core Systems with SystemC and Retargetable Processor Tools (Target Compiler Technologies and ModelSim.)

This tutorial will demonstrate how new ASIP cores can be designed and programmed quickly, while at the same time ensuring the correctness of the design, not only at the level of individual cores but also at the overall system level.

In the hands-on exercises, participants will design a small demo application, including the following steps:

·         High-level SystemC simulation of the overall application, using ModelSim.

·         Design and programming of a few ASIP cores for some key functions of the system, using the Chess/Checkers tools. This will include C compilation onto these ASIP cores, as well as the automatic generation of a cycle accurate instruction-set simulator (ISS) and of a synthesizable Verilog model of each core.

·         Verification of the architecture design, by integrating the generated ISSs in System C and running co-simulation in ModelSim.

·         Verification of the hardware, by integrating the generated Verilog models of the ASIP cores in an RTL netlist of the total system, and simulating everything in ModelSim.

Visit the DAC site for more information and to register:

SystemC Symposium, Monday June 13th Room 304 A-B Anaheim Convention Center 12:00 – 1:30 (Lunch Provided)

The Open System C Initiative (OSCI) invites you to an industry symposium to find out the compelling reasons for making the move up to electronic system-level (ESL) design with SystemC.  A panel of experts will discuss the drivers for the move and how SystemC enables the move, what adoption path they selected and evaluation of their investment. [more information]
 

 
Technical Resource Center 
New Functional Verification White paper

Binding SystemVerilog to VHDL Components Using Questa

Questa Speeds Verification of ARM SoCs

One of the new features in Questa is the ability to quickly import firmware for use as a testbench to boost verification coverage. Boot code and hardware diagnostics are high quality directed tests which focus on functionality of the SoC while generating scads of bus activity. Questa runs firmware ~ 10X faster than is possible with the design simulation model and provides a source-level software debugger. Setup is exceedingly simple; instantiate the supplied cycle-accurate model, point Questa to the firmware binary, declare code and data memory regions and run. The firmware mode of operation is fully compatible with Questa’s assertion based verification and coverage driven verification. Firmware driven bus activity is validated by your assertions and coverage metrics grade the value of including firmware in your test suite. The 10X speedup makes it practical to run large volumes of code and to speed regression tests. For details contact jim_kenney@mentor.com.
 

Standards Corner  Dennis Brophy
Accellera hosting several DAC events featuring SystemVerilog

With the SystemVerilog standard nearing their completion in the IEEE, Accellera has several DAC events and venues at which the value of this work and future standards for verification will be discussed. New this year is the Accellera SystemVerilog booth (#2284 near the food court). Mentor Graphics is one of the anchor sponsors along with Cadence Design Systems and Synopsys, to give the SystemVerilog community of suppliers a single place to demonstrate products and services. The booth also features a “Meet the Experts” discussion area. Accellera has invited the design and verification community to come by the booth to see SystemVerilog in action.

There is also an update on the Open Verification Library (OVL) front. Mentor Graphics recently donated technology to the Accellera OVL committee for the SystemVerilog Assertion (SVA) version of these popular checkers. The OVL technical committee invites the design and verification community to the first user-group meeting at DAC in Anaheim from 1-2:30 pm on Wednesday June 15, 2005 located in the Anaheim Hilton, Capistrano B room. If you are interested in the SVA version of the OVL checkers, you will want to attend this user-group meeting.

This and other Accellera meetings are open to DAC attendees. And, Accellera has kindly asked possible attendees to register in order to adequately prepare.

Dennis Brophy is the Director of Strategic Business Development for the Scalable Verification division at Mentor Graphics

If you do not wish to receive future ModelSim Informant newsletters, update your subscription.  Or reply to this email message with "Opt out EMAIL" in the subject. Mentor Graphics 8005 SW Boeckman Road Wilsonville, OR, 97070, USA 800-547-3000 or 503-685-8000 Our privacy policy is also available.

EDA TechForum

Technical sessions covering the latest advances in:

- Emerging Technologies
- IC Nanometer Design
- Integrated System Design
- Functional Verification

Registration is now open for the following dates:

EDA TechForum UK
June 21st, Wantage, Williams F1 conference Center

EDA TechForum France
June 23rd, Paris


DSP Seminars

Mentor Graphics would like to invite you to attend Altera's Code:DSP seminars! Altera's Code: DSP video, image and signal processing solutions allow designers to implement the next-generation of FPGA-based system architectures that boost digital signal processing (DSP) performance and lower overall costs. Mentor will be supporting the event and participating in a panel discussion on developing FPGA Co-Processors using ‘C’ language & modeling tools.

Dates and locations:

June 27, Munich
June 29, Paris
June 30, Oxford 

More information on this seminar in Europe

We look forward to seeing you there!


System Modeling and FPGA Design Seminar

June 9th, Milano, Italy


0-In Seminar

June 15th, Milano Italy


ModelSim Training

ModelSim: HDL Simulation
June 21, San Jose

ModelSim Advanced Debugging 
June 22, San Jose

PSL: Assertion Based Verification with ModelSim
June 2, El Segundo
June 7, Minneapolis

SystemVerilog, Design and Verification
by Cliff Cummings
June 1, Phoenix
July 19, San Jose