Verification Resources

Sort by

Synopsys Suggests

Wireless Power Charging for EVs

Mar 30, 2018 - As we switch to using wireless products more in our day-to-day lives, Power Electronics research is simultaneously evolving new trends in wireless charging for things like Electric ...

Anatomy Of An Autonomous Vehicle Crash

Mar 1, 2018 - Accidents happen, but with self-driving cars a crash is only the beginning.

Verification Of Functional Safety, Part 2 of 2

Feb 22, 2018 - How should companies go about the verification of functional safety and what tools can be used?

Bottlenecks be Gone - Automated Performance Verification with Synopsys

Feb 15, 2018 - Perform automated end-to-end performance verification using Synopsys VC VIP AutoPerformance, Verdi Performance Analyzer and Verdi Protocol Analyzer.

Unexpected Help for Simulation from Machine Learning

Feb 13, 2018 - Machine learning model enabling significant circuit simulation runtime irmprovement.

Fast-track SoC Verification with Synopsys VC AutoTestbench

Jan 25, 2018 - Reduce the time-to-first-test from weeks to hours by automating the process of testbench generation with Synopsys VC AutoTestbench

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.

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