Verification Resources

Sort by

Synopsys Suggests

Bottlenecks Be Gone - Automated Performance Verification with Synopsys VC VIP...

Feb 21, 2018 - This webinar will outline an automated flow to perform end-to-end performance verification using Synopsys VC VIP AutoPerformance, Verdi Performance Analyzer and Verdi Protocol ...

Top Next-Gen PCIe Verification Challenges: Equalization, RX Margining, and ...

Feb 1, 2018 - This webinar will give a brief overview of the latest PCIe specifications and address the top verification issues encountered by early adopters. We will analyze how best to overcome ...

Fast-track SoC Verification - Reduce time-to-first-test from weeks to hours ...

Jan 31, 2018 - Learn how to reduce the time-to-first-test from weeks to hours by automating the process of testbench generation with Synopsys VC AutoTestbench.

Shift Left with Static & Formal Verification: Catching Bugs Early for RTL ...

Dec 6, 2017 - Learn how SpyGlass® Lint Turbo, VC Formal™ Auto Extracted Properties (AEP) and Formal Coverage Analyzer (FCA) Apps identify RTL issues at their source, pinpoints coding and ...

Dealing with Inconclusive Formal Proofs

Dec 1, 2017 – This webinar explores practical ways of dealing with inconclusive formal proofs when using VC Formal, including the use of complexity analysis and bounded reachability analysis, ...

Hybrid and Electric Vehicle - Is Your Design Robust and Optimized to Win the ...

Oct 26, 2017 - This Tech Talk highlights the challenges of EV/HEV design and demonstrates a virtual prototyping solution using Saber, allowing for system level and detailed design of Hybrid and ...

Accelerating Design Robustness Verification Using CustomSim Monte Carlo

Oct 11, 2017 - Learn how CustomSim performs advanced Monte Carlo analysis using key features such as multiple sampling schemes, scope control using .variation block, Monte Carlo within ...

Understanding Clock-Gating Metrics: RTL Power Exploration with SpyGlass Power

Sep 13, 2017 - In this webinar, we will show how designers can use SpyGlass Power to explore the design for early power, analyze the clock gating efficiency across multiple scenarios and make ...

Formal Verification for Non-Specialists Using VC Formal

Aug 30, 2017 - In this webinar explore the strengths and weaknesses of formal verification using Synopsys VC Formal to learn how to use formal verification effectively.

Best Practices to Accelerate GPU Prototyping with HAPS

Jul 18, 2017 - This webinar outlines best-practices for prototyping Graphic Processing Units (GPU) with HAPS, including how to approach and plan a GPU prototyping project in terms of hardware ...