Verification Resources

Sort by

Synopsys Suggests

Why I Switched to Formal Verification – A SARC Case Study

Mar 25, 2020 - This webinar will explain a step-by-step approach on how to get started with formal verification to explore the design behavior.

Getting the Most Out of VCS Simulation Performance (Part 1)

Feb 05, 2020 - This webinar explores Fine-Grained Parallelism (FGP) as one technology to improve performance by parallelizing the simulation across available cores.

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.

Metastability Injection for CDC Signoff

Jan 21, 2020 - This webinar will explain a very robust solution that promises to address all these challenges, and also provides a very powerful debug mechanism using the best of both static and ...

Testbench Qualification for Simulation and Formal Verification Signoff

Jan 15, 2019 - This webinar will explore how functional qualification can be extended to assess and improve your verification environments and provide a new perspective on their completeness and ...

Faster Verification Closure from IP to SoC Using the Verification Continuum ...

Dec 4, 2019 - The webinar delves into how the Synopsys end-to-end verification strategy scales from IP-level functional verification to full system-level validation & performance analysis using ...

Finding Your Way Through Formal Verification

Oct 15, 2019 - This webinar serves as a foundation for how formal verification methods work, when and where to apply them and how it is managed in the overall verification objective.

Constraints Driven CDC Methodology (Part 3)

Aug 28, 2019 - Part 3 of the webinar series will talk about machine learning-based Root Cause Analysis (RCA) for CDC. Machine learning RCA automatically identifies where to define constraints, ...

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

Constraints Driven CDC Methodology (Part 2)

Jul 17, 2019 - In part 2 of this webinar series, we will discuss how to apply Constraint driven CDC methodology, what are the CDC specific constraints and their semantics and finally how a user can...