Verification Resources

Sort by

Synopsys Suggests

Building Smart SoCs - How to Design Artificial Intelligence SoCs with ...

June 28, 2018 - Platform Architect enables the quantitative trade-off analysis between power, performance, and flexibility requirements. This webinar demonstrates the design of an SoC with an ...

Electric Vehicles: Is Your Battery Charger Design Performing at Optimal ...

June 14, 2018 - This Tech Talk highlights modeling solutions for high-fidelity and accurate models for Power MOSFET and Li-ion batteries, as well as advanced analyzing techniques to identify ...

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