FPGA Verification Maturity: A Quantitative Analysis

FPGA Verification Maturity: A Quantitative Analysis

In early February, I had the honor of keynoting the FPGA-forum held in the beautiful city of Trondheim, Norway. This…

Upcoming Wilson Research Group Functional Verification Study Web Seminar

Upcoming Wilson Research Group Functional Verification Study Web Seminar

About every two years, Mentor, A Siemens Business, commissions Wilson Research Group to conduct a broad, vendor-independent study of design…

How to Become a Formal Expert and Impress your Friends and Boss!

How to Become a Formal Expert and Impress your Friends and Boss!

No one ever said that functional verification was easy. In fact, from a computer science theoretical perspective verification is considered…

Introducing the Verification Academy Patterns Library!

Introducing the Verification Academy Patterns Library!

If you have been involved in either software or advanced verification for any length of time, then you probably have…

Part 11: The 2012 Wilson Research Group Functional Verification Study

Part 11: The 2012 Wilson Research Group Functional Verification Study

Verification Techniques & Technologies Adoption Trends (Continued) This blog is a continuation of a series of blogs that present the…

Part 10: The 2012 Wilson Research Group Functional Verification Study

Part 10: The 2012 Wilson Research Group Functional Verification Study

Verification Techniques & Technologies Adoption Trends This blog is a continuation of a series of blogs that present the highlights…

Part 9: The 2012 Wilson Research Group Functional Verification Study

Part 9: The 2012 Wilson Research Group Functional Verification Study

Language and Library Trends (Continued) This blog is a continuation of a series of blogs that present the highlights from…

Prologue: The 2012 Wilson Research Group Functional Verification Study

Prologue: The 2012 Wilson Research Group Functional Verification Study

This is the first in a series of blogs that presents the results from the 2012 Wilson Research Group Functional…

Synthesizing Hardware Assertions and Post-Silicon Debug

Synthesizing Hardware Assertions and Post-Silicon Debug

At the 2012 Design Automation Conference, I had the pleasure of moderating a panel at a workshop titled “Post-Silicon Debug:…