Verification Resources

Sort by

Synopsys Suggests

Using the Virtual Prototype of the S32G Safe and Secure Vehicle Network ...

June 30, 2020 - This webinar explores the collaborative development between NXP and Synopsys and how NXP was able to bring up most of its S32G device software within two weeks after first silicon ...

Introduction to Formal Verification (Chinese)

June 16, 2020 - For engineers with design and simulation backgrounds, this webinar will be an introduction to formal verification.

Automating Testbench Creation to Accelerate Network-on-Chip Verification

Jun 10, 2020 - In this webinar, we will talk about an automated testbench solution to address the challenge of NoC verification.

Enhanced Debug Productivity using Latest Verdi Innovations

June 3, 2020 - This webinar will discuss the elimination of two separate flows for debug and simulation and demonstrate the latest Verdi features which enable faster loading of large design databases.

VC Formal – Introduction to Automatic RTL Checks Using VC Formal AEP (Japanese)

June 02, 2020 - In this webinar, we will introduce what kind of problems can be specifically verified and how the VC Formal AEP app can be applied.

Solving Mixed-Signal Challenges using AMS Co-simulation with VCS

May 27, 2020 - This webinar will share an introduction to the AMS Co-simulation with VCS mixed-signal verification solution.

Verdi Product Introduction and Tips for Debugging (Japan)

May 21, 2020 - In this webinar, four “Basics” topics will be discussed, including an overview of Verdi, basic usage, visualization of design information, and debugging functions that make difficult...

Faster Formal Verification Closure for Datapath in AI & Processor Designs

May 20, 2020 - Learn how to get closure with datapath verification using the Synopsys VC Formal DPV app along with how to make the C/C++ model ready for formal equivalence checking with the RTL ...

Application and Use of Virtual ECUs Within an AUTOSAR Software Development ...

May 12, 2020 - This webinar highlights the benefits of a virtual ECU within the context of agile development and continuous integration.

Using VC SpyGlass RDC Methodology for Faster Signoff

May 06, 2020 - This webinar will explain the challenges of the increasing number of power and reset domains are driving a greater need for reset domain crossing (RDC) analysis.