Verification Resources

Sort by

Synopsys Suggests

A Gentle Introduction to Formal Verification

Jun 19, 2019 - The intention of this webinar is to address any concerns and convince the audience that if you're a Designer or a DV engineer, Formal Verification is your new best friend.

A Step-by-Step Approach to Formal Signoff

Apr 29, 2020 - In this webinar, we will discuss these new formal signoff metrics and how VC Formal enables users to achieve verification completeness.

Accelerate Low Power Static Verification with New Technologies in Synopsys VC...

Jan 22, 2019 - This webinar introduces three techniques in Synopsys VC LP to tackle design verification for low power designs.

Accelerating High-Frequency Trading with FPGAs – Mike Dini’s Perspective

Aug 6, 2020 - Mike Dini, formerly of the Dini Group, will share his expertise in FPGA hardware and how FPGAs are being used to optimize low- and high-frequency trading (HFT) applications.

Accelerating Validation of Next-Generation Cloud Architectures with Virtual ...

Oct 21, 2020 - In this Synopsys webinar, we will present how a virtual testing solution using Synopsys ZeBu and Keysight IxVerify tester software enables maximizing validation of realistic network ...

Addressing Exascale Emulation Debug Complexity – The case for a system-level ...

Feb 27, 2019 - In this webinar, we present how to use ZeBu to cut debug time after a failure has been reported during a multi-billion cycles regression.

Addressing the Challenges of Networking SoC Validation using Virtual Network ...

Jul 24, 2019 - An introduction to the challenges of validation for complex networking SoCs with terabit per second throughput and high port counts. Learn why transitioning from traditional ...

Advanced Low Power UPF Design Debug for Faster Signoff

Sep 2, 2020 - In this webinar you will learn how Synopsys’ VC LP helps reduce the debug time drastically with smarter grouping and highlighting of root causes through intelligent analysis and ...

Advanced Technologies to Improve VCS Simulation Performance (Part 3)

Jun 17, 2020 - This is part three of our webinar series on how to achieve the best performance with VCS.

AI-enabled Root Cause Analysis for Low Power Verification

Jul 30, 2019 - This webinar will talk about the current application of deterministic and machine learning-based techniques to automatically identify the accurate root-causes for a related group of ...