Verification Resources

Sort by

Synopsys Suggests

Virtualization and NVMe: Advantages and Implementation

Apr 25, 2018 - This webinar is a joint presentation by NVMe Workgroup and Synopsys, covering virtualization as it applies to NVMe. We will discuss the current virtualization technique of SRIOV ...

How to Get Started with Software Development for NXP’s S32 Automotive Platform

Mar 27, 2018 - Learn how Synopsys VDKs for the NXP S32 automotive processing platform can be deployed today, enabling software development, integration and test to start well before silicon and ...

Overcoming USB Type-C Verification Challenges

Mar 14, 2018 - This webinar will analyze how best to overcome challenges like modelling the analog nature of USB Type-C connections, how to maneuver multiple required protocols, translating special...

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