Verification Resources

Sort by

Synopsys Suggests

The Trouble With Models

Dec 20, 2017 - Abstractions become more difficult at 7nm and beyond, but it’s not always clear which ones or why.

Shifting Left with Static and Formal Verification

Dec 14, 2017 - Static and Formal Verification helps identify RTL issues at their source, pinpoint coding and consistency problems in the RTL descriptions, and help designers resolve issues quickly ...

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...

Are You Virtually Fast Enough?

Oct 26, 2017 - Key factors to understand for speedy virtual prototypes.

Functional Safety Issues Rising

Oct 5, 2017 - Cost and time spent in simulation and test grow as more chips are developed for automotive, industrial and medical markets.

Prototyping Building Blocks

Sep 28, 2017 - How putting together LEGOs is like building an SoC.

Clock Gating Optimization

Sep 21, 2017 - Learn how SpyGlass Power enables RTL power exploration to assist designer in clock gating optimization.

Modeling of Wide Band Gap Devices for Accurate Simulation

Sep 7, 2017 - Creating accurate models for Wide Band Gap (WBG) power devices representing their complete behavior is vital to the system simulation for ensuring that the simulation results are ...

Are You Designing The Right Product?

Aug 28, 2017 - Why it’s so important to keep track of system requirements throughout the design process.

Prototyping GPUs, Step by Step

Aug 15, 2017 - Guidance on how to approach and plan a GPU prototyping project in terms of hardware requirements, resources, and timeline.