The Many Flavors of Equivalence Checking: Part 6, FPGA-focused Equivalency Checking Flows

With last year’s acquisition of OneSpin, we now have a valuable addition to the solutions I described in The Many…

58th Design Automation Conference

Build Your Career by Attending the Static & Formal Verification University at DAC 2021

Among the reasons to go to university are the opportunities to open new career paths by learning new technical skills,…

How Can You Say That Formal Verification Is Exhaustive?

As a companion to my previous post on Learn Formal the Easy Way, allow me to explain what are often…

U2U 2020 - Raytheon - CoverCheck

3 Notable Formal Verification Conference Papers of 2020

On the short list of positive things to come out of the past year are the formal verification-focused conference papers…

Part 9: The 2020 Wilson Research Group Functional Verification Study

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

Part 5: The 2020 Wilson Research Group Functional Verification Study

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

AMC 20-152A: A practitioners perspective

A previous post discussed the high level impact of the new AMC 20-152A guidance on DO-254 programs. That post touched…

The Many Flavors of Equivalence Checking: Part 5, Summary of the Most Popular LEC and SLEC Use Cases

As I noted at the beginning of this series, the term “logic equivalence checking” (LEC) applies to a number of…

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…