Verification Resources

Sort by

Synopsys Suggests

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.

Staging Virtual Prototype Bring-Up for Faster Software Development

Jun 7, 2017 - Virtual prototypes are simulation models of hardware written at a high enough level of abstraction that the software under development can be run and interactively debugged on the ...

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.