Mentor Blogs

This is the first in a series of blogs that presents the results from the 2012 Wilson Research Group Functional Verification Study. Study Overview In 2002 and 2004, Ron Collett International, Inc. conducted its well known ASIC/IC functional verification studies, which provided invaluable insight into the state of the electronic industry and its trends in design and verification. However, after the … Read More

UVM, Assertion-Based Verification, Formal Verification, Accellera, Verification Academy, Verification Methodology, functional coverage, Verilog, Functional Verification, VHDL

The latest revision of the IEEE 1800-2012 SystemVerilog Language Reference Manual (LRM) is about to hit the presses; though I doubt people will be printing the 1300+ pages on their own from the soon to be readily available online version. Here’s a little background into what’s in all those pages. The first SystemVerilog LRM came from Accellera in 2002 as a set of extensions to the IEEE … Read More

functional coverage, Constrained Random Test, Verification

Verification Academy Adds Major New Technical Resource The Verification Academy adds another major methodology cookbook to focus on effective coverage adoption.  The Coverage Cookbook describes the different types of coverage that are available to track your verification process progress, how to create a functional coverage model from a specification, and provides examples to implement functional … Read More

OVM, UCDB, Coverage, Coverage Closure, Accellera, UCIS, Harry Foster, UVM, IEEE 1800, Coverage Cookbook, Verification Academy, functional coverage

iTBA Introduction If you’ve been to DAC or DVCon during the past couple of years, you’ve probably at least heard of something new called “Intelligent Testbench Automation”.  Well, it’s actually not really all that new, as the underlying principles have been used in compiler testing and some types of software testing for the past three decades, but its application to electronic design verification is … Read More

Functional Verification, Intelligent Testbench Automation, functional coverage, Verification, Verification Academy, testbench

For years one of the objectives in EDA has been to make formal property checking easy to use and its results easy to understand. With the Automatic formal check feature in the June release of the 0-In Formal tool version 3.0, I think we have made significant progress in this area. The feature, which predefines a set of assertion rules to look for design issues automatically, makes formal technology … Read More

automatic formal check, formal property checking, Assertion-Based Verification, SVA, Formal Verification, functional coverage