Verification Horizons

Filter by:

Latest posts

Part 1: The 2014 Wilson Research Group Functional Verification Study

Part 1: The 2014 Wilson Research Group Functional Verification Study

February 8, 2015

FPGA Design Trends In my previous blog, I introduced the 2014 Wilson Research Group Functional Verification Study (click here). The objective…

By Harry Foster
3 MIN READ
Understanding and Minimizing Study Bias

Understanding and Minimizing Study Bias

January 21, 2015

This blog is a continuation of a series of blogs that present the highlights from the 2014 Wilson Research Group…

By Harry Foster
3 MIN READ
Prologue: The 2014 Wilson Research Group Functional Verification Study

Prologue: The 2014 Wilson Research Group Functional Verification Study

January 21, 2015

This is the first in a series of blogs that presents the findings from our new 2014 Wilson Research Group…

By Harry Foster
4 MIN READ
Who Knew VIP?

Who Knew VIP?

January 14, 2015

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

By Mark Olen
2 MIN READ
3 Notable Formal-Related Conference Papers of 2014

3 Notable Formal-Related Conference Papers of 2014

January 6, 2015

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

By Joe Hupcey III
3 MIN READ
Latest Issue of Verification Horizons Available!

Latest Issue of Verification Horizons Available!

December 12, 2014

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

By Tom Fitzpatrick
2 MIN READ
SystemVerilog Testbench Debug – Are we having fun yet?

SystemVerilog Testbench Debug – Are we having fun yet?

November 24, 2014

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

By Rich Edelman
3 MIN READ
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

November 17, 2014

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

By Joe Hupcey III
4 MIN READ
Preparing for the Perfect Storm with New-School Verification Techniques

Preparing for the Perfect Storm with New-School Verification Techniques

November 5, 2014

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

By Matthew Ballance
2 MIN READ