Verification Resources

Sort by

Synopsys Suggests

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.

DVCon India 2019

Sept 25, 2019 - Visit Synopsys at booth #4 and learn more about the Verification Continuum Platoform. You can also see us at the keynote, tutorials or panel discussion.

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.

Artificial Intelligence: Let Us Get The Math Right First!

Jun 6, 2019 - Data path verification with formal for artificial intelligence (AI) designs.

Synopsys Extends Leadership with Enhanced Verification Continuum Platform

May 30, 2019 - New native tool integrations enable up to 5X higher verification performance.

Synopsys Delivers 100X Faster Formal Verification Closure for AI, Graphics, ...

May 23, 2019 - The DPV app leverages proven HECTOR™ technology to deliver exhaustive formal verification closure on datapath-intensive designs during the design and verification cycle for broad ...

Efficient Formal Verification with Smart Modeling

May 22, 2019 - In this webinar, we will provide insights on how we can build efficient and reusable formal verification models that can be used for verifying a class of designs with predictability ...

DVCon China 2019

Apr 17, 2019 - Visit Synopsys at booth #106 or catch the keynote, technical short workshops or tutorial.

SNUG 2019 Verification Lunch Panel

Synopsys hosted a luncheon event at the annual SNUG that highlighted new verification solutions for ZeBu Server 4, HAPS-80 Desktop Prototyping and VC Formal Regression Mode Accelerator App.