Sign In
Forgot Password?
Sign In | | Create Account

Verification Horizons Blog

Posts tagged with 'functional coverage'

30 Oct, 2013

Mark Olen MENTOR GRAPHICS AT ARM TECHCON This week ARM® TechCon® 2013 is being held at the Santa Clara Convention Center from Tuesday October 29 through Thursday October 31st, but don’t worry, there’s nothing to be scared about.  The theme is “Where Intelligence Counts”, and in fact as a platinum sponsor of the event, Mentor Graphics is excited to present no less than ten technical and training sessions about … Read More

testbench, SoC, Verification, Formal Verification, functional coverage, ARM, Verification Academy, iTBA, Functional Verification, Intelligent Testbench Automation

26 Aug, 2013

Harry Foster Verification Techniques & Technologies Adoption Trends This blog is a continuation of a series of blogs that present the highlights from the 2012 Wilson Research Group Functional Verification Study (for background on the study, click here). In my previous blog (Part 9 click here), I focused on some of the 2012 Wilson Research Group findings related to design and verification language and library … Read More

testbench, UVM, Assertion-Based Verification, Coverage, Accellera, Verification Academy, functional coverage, Functional Verification

19 Aug, 2013

Harry Foster Verification Techniques & Technologies Adoption Trends This blog is a continuation of a series of blogs that present the highlights from the 2012 Wilson Research Group Functional Verification Study (for background on the study, click here). In my previous blog (Part 9 click here), I focused on some of the 2012 Wilson Research Group findings related to design and verification language and library … Read More

testbench, UVM, Assertion-Based Verification, Coverage, Accellera, Verification Academy, functional coverage, Functional Verification

5 Aug, 2013

Harry Foster Language and Library Trends This blog is a continuation of a series of blogs that present the highlights from the 2012 Wilson Research Group Functional Verification Study (for a background on the study, click here). In my previous blog (Part 7 click here), I focused on some of the 2012 Wilson Research Group findings related to testbench characteristics and simulation strategies. In this blog, I present … Read More

IEEE 1800, RTL, VHDL, 1364, testbench, Verification, Verification Academy, 1076, Verilog, Functional Verification, SystemC, Accellera, functional coverage

23 Apr, 2013

Harry Foster 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 2004 … Read More

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

7 Feb, 2013

Get Ready for SystemVerilog 2012

Posted by Dave Rich

Dave Rich 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 1364-2001 … Read More

functional coverage, Constrained Random Test, Verification

20 Nov, 2012

Coverage Cookbook Debuts

Posted by Dennis Brophy

Dennis Brophy 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 coverage … Read More

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

28 Jun, 2011

Mark Olen 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

26 Jul, 2010

Ping Yeung 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

Archives

 
Online Chat