Formal Verification

Filter by:
FMCAD 2019: The Most Important Formal Verification Conference You’ve Never Heard Of

FMCAD 2019: The Most Important Formal Verification Conference You’ve Never Heard Of

December 3, 2019

[Preface: I briefly interrupt my series on The Many Flavors of Equivalence Checking to share this report on an important…

By Joe Hupcey III
3 MIN READ
Formal Verification Done Fast

Formal Verification Done Fast

September 16, 2019

It’s not too late to register for our two-part webinar on faster formal verification. This week and next we will…

By Dennis Brophy
2 MIN READ
What happens in Vegas…is happening in the Verification Academy and Mentor booths!

What happens in Vegas…is happening in the Verification Academy and Mentor booths!

May 16, 2019

It’s been 18 years since DAC last visited Las Vegas, and a lot has happened in verification during this period….

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

Part 9: The 2018 Wilson Research Group Functional Verification Study

February 5, 2019

IC/ASIC Verification Technology Adoption Trends This blog is a continuation of a series of blogs related to the 2018 Wilson…

By Harry Foster
4 MIN READ
How to Reduce the Complexity of Formal Analysis – Part 6 – Leveraging Data Independence and Non-Determinism

How to Reduce the Complexity of Formal Analysis – Part 6 – Leveraging Data Independence and Non-Determinism

November 1, 2018

If you know the dependencies – or lack thereof – in your design, you can exploit two very fundamental characteristics…

By Joe Hupcey III
3 MIN READ
How to Reduce the Complexity of Formal Analysis – Part 5 – Memory Abstraction

How to Reduce the Complexity of Formal Analysis – Part 5 – Memory Abstraction

October 23, 2018

When big counters and memories are in the active logic cone of an assertion that keeps coming up as “inconclusive”,…

By Joe Hupcey III
4 MIN READ
Upcoming Wilson Research Group Functional Verification Study Web Seminar

Upcoming Wilson Research Group Functional Verification Study Web Seminar

October 4, 2018

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

By Harry Foster
< 1 MIN READ
How to Reduce the Complexity of Formal Analysis – Part 4 – Counter Abstraction

How to Reduce the Complexity of Formal Analysis – Part 4 – Counter Abstraction

September 28, 2018

When big counters and memories are in the active logic cone of an assertion that keeps coming up as “inconclusive”,…

By Joe Hupcey III
4 MIN READ
How to Reduce the Complexity of Formal Analysis – Part 3 – Assertion Decomposition

How to Reduce the Complexity of Formal Analysis – Part 3 – Assertion Decomposition

September 11, 2018

In Part 2 of this series, we showed how reducing the complexity of you assumptions (a/k/a constraints) can really help…

By Joe Hupcey III
5 MIN READ