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…

Accellera Day India 2018

Accellera Day India 2018

Cliff Cummings: Special Guest Speaker Join us on November 14th in Bangalore, India for Accellera Day India 2018.  Over the…

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

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

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

Adding Functional Safety to Verification Academy

Adding Functional Safety to Verification Academy

We here at Mentor never stop working to keep the Verification Academy at the forefront of the functional verification community….

How to Prove that It’s Not Your Fault

How to Prove that It’s Not Your Fault

In our June, 2018 edition of Verification Horizons, there’s a great article by my colleague Doug Smith, one of our formal…

Emerging Commercial Acceptance of RISC-V

Emerging Commercial Acceptance of RISC-V

Over the past few years, you may have noted a growing number of articles in our Verification Horizons Publication that…

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…