Verification Resources

Sort by

Synopsys Suggests

Artificial Intelligence: Let Us Get The Math Right First!

Jun 6, 2019 - Data path verification with formal for artificial intelligence (AI) designs.

Don’t Have A Meltdown Over A Spectre In Your SoC

Mar 7, 2019 - Verifying that there are no bugs in the hardware that cause secure data leaks will help you avoid a meltdown.

Formal Fundamentals: What’s Hiding Behind Your Constraints

Jul 17, 2018 - The reason we need constraints or assumptions in the first place is to limit the behavior/functionality that the formal tool analyzes to the design’s “legal” states/subset. We don’t ...

Is Verification Falling Behind?

Dec 21, 2017 - It’s becoming harder for tools and methodologies to keep up with increasing design complexity. How to prevent your design from being compromised.

Using Sequential Equivalence to Verify Clock-Gating Strategies

Nov 6, 2017 - Sequential equivalence checking can be used to show that a block of sequential logic produces the same output for the same inputs after it has been modified by optimization techniques...

Eight Tips for Performing Effective Unreachability Analysis

Apr 26, 2017 - One popular application of formal verification techniques is to automatically detect ‘dead’ code, a process known as unreachability analysis.

The Art of Abstraction

Mar 9, 2017 - The key to successful abstraction in formal verification is to consider what functionality needs to be verified and at what level of detail, and then to abstract areas of the design ...

Are You Formally Connected?

Jan 18, 2017 - A large SoC has tens of thousands of connections between modules and pins. Checking that these connections have been made properly is an important step in the verification process. ...

Exploiting the power of reset in formal verification

Mar 1, 2016 - The reset state of a module or SoC that is being verified can have a huge impact on the scope and correctness of the verification. When using simulation for verification, the reset ...

Synopsys at DVCon 2016

Feb 23, 2016 - DVCon starts on Monday Feb 29th and as always should be a packed event. One of the most obvious things you will notice is Synopsys’ presence in the exhibit hall – they take up a ...