Featured posts

Latest posts

Part 5: The 2018 Wilson Research Group Functional Verification Study

Part 5: The 2018 Wilson Research Group Functional Verification Study

This blog is a continuation of a series of blogs related to the 2018 Wilson Research Group Functional Verification Study…

Part 4: The 2018 Wilson Research Group Functional Verification Study

Part 4: The 2018 Wilson Research Group Functional Verification Study

This blog is a continuation of a series of blogs related to the 2018 Wilson Research Group Functional Verification Study…

Latest Verification Horizons Newsletter Is Now Available

Latest Verification Horizons Newsletter Is Now Available

If you haven’t seen it yet, the latest issue of the Verification Horizons Newsletter is now available on Verification Academy. This…

Part 3: The 2018 Wilson Research Group Functional Verification Study

Part 3: The 2018 Wilson Research Group Functional Verification Study

This blog is a continuation of a series of blogs related to the 2018 Wilson Research Group Functional Verification Study…

Part 2: The 2018 Wilson Research Group Functional Verification Study

Part 2: The 2018 Wilson Research Group Functional Verification Study

This blog is a continuation of a series of blogs related to the 2018 Wilson Research Group Functional Verification Study…

Part 1: The 2018 Wilson Research Group Functional Verification Study

Part 1: The 2018 Wilson Research Group Functional Verification Study

In my previous blog, I introduced the 2018 Wilson Research Group Functional Verification Study. The objective of my previous blog was…

Understanding and Minimizing Study Bias (2018 Study)

Understanding and Minimizing Study Bias (2018 Study)

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

Prologue: The 2018 Wilson Research Group Functional Verification Study

Prologue: The 2018 Wilson Research Group Functional Verification Study

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

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

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