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 ...
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.
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.
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.
Jun 6, 2019 - Data path verification with formal for artificial intelligence (AI) designs.
May 30, 2019 - New native tool integrations enable up to 5X higher verification performance.
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 ...
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 ...
Apr 17, 2019 - Visit Synopsys at booth #106 or catch the keynote, technical short workshops or tutorial.
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.