Formal Verification

Filter by:
Prologue: The 2012 Wilson Research Group Functional Verification Study

Prologue: The 2012 Wilson Research Group Functional Verification Study

April 23, 2013

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

By Harry Foster
4 MIN READ
Improving simulation results with formal-based technology

Improving simulation results with formal-based technology

October 18, 2012

When it comes to formal methods, many engineers are skeptics. Perhaps this is due to value propositions that have been…

By Harry Foster
3 MIN READ
Part 9: The 2010 Wilson Research Group Functional Verification Study

Part 9: The 2010 Wilson Research Group Functional Verification Study

June 26, 2011

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

By Harry Foster
6 MIN READ
Part 5: The 2010 Wilson Research Group Functional Verification Study

Part 5: The 2010 Wilson Research Group Functional Verification Study

April 4, 2011

Effort Spent On Verification (Continued) This blog is a continuation of a series of blogs, which present the highlights from…

By Harry Foster
4 MIN READ
Making formal property checking easy to use

Making formal property checking easy to use

July 26, 2010

For years one of the objectives in EDA has been to make formal property checking easy to use and its…

By Ping Yeung
2 MIN READ
Redefining Verification Performance (Part 1)

Redefining Verification Performance (Part 1)

July 25, 2010

What does the word performance mean to you? Speed? Well, obviously speed is an important characteristic. Yet, if the team…

By Harry Foster
3 MIN READ