Who Knew VIP?

Who Knew VIP?

“Who Knew?” about verification IP (VIP), was the theme of a recent DeepChip post by John Cooley on December 18. …

3 Notable Formal-Related Conference Papers of 2014

3 Notable Formal-Related Conference Papers of 2014

2014 was an exciting year for formal verification to say the least, and below I call out a sampling of…

Latest Issue of Verification Horizons Available!

Latest Issue of Verification Horizons Available!

Just in time for Christmas and other year-end holidays, I am pleased to announce that the latest issue of Verification…

SystemVerilog Testbench Debug – Are we having fun yet?

SystemVerilog Testbench Debug – Are we having fun yet?

SystemVerilog Testbench Debug – Are we having fun yet? Fun Debug should be fun. Watching waveforms march by, seeing ERRORS…

ARM® Techcon Paper Report: How Microsoft Saved 4 Man-Months Meeting Their Coverage Closure Goals Using Automated Verification Management & Formal Apps

ARM® Techcon Paper Report: How Microsoft Saved 4 Man-Months Meeting Their Coverage Closure Goals Using Automated Verification Management & Formal Apps

Few verification tasks are more challenging than trying to achieve code coverage goals for a complex system that, by design,…

Preparing for the Perfect Storm with New-School Verification Techniques

Preparing for the Perfect Storm with New-School Verification Techniques

Between 2006 and 2014, the average number of IPs integrated into an advanced SoC increased from about 30 to over…

On-Demand Webinar: UVM Sequences in Depth

On-Demand Webinar: UVM Sequences in Depth

When I was at DAC this year, I had a few folks come up to me at our Verification Academy…

DVCon India: A Smashing Hit!

DVCon India: A Smashing Hit!

DVCon India, held in September 2014 in Bangalore, built on the Indian SystemC User Group meeting events and added a…

Portable and Productive Test Creation with Graph-Based Stimulus

Portable and Productive Test Creation with Graph-Based Stimulus

Verification engineers spend lots of time creating tests. In fact, creating enough tests to verify the design functionality consistently tops…