Verification Resources

Sort by

Synopsys Suggests

Faraday Adopts Synopsys SpyGlass Design Handoff Kit to Ensure High Design ...

Jun 05, 2019 - Faraday Technology Corporation, a leading fabless ASIC and IP provider, adopted Synopsys SpyGlass® Design Handoff Kit.

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

Synopsys Delivers 10X Performance in Formal Property Verification with ...

Aug 27, 2018 - A state-of-the-art artificial intelligence (AI) enabled formal verification app, Regression Mode Accelerator, as part of the Synopsys VC Formal® solution

SiFive Selects Synopsys Verification Continuum Platform for Advanced RISC-V ...

Oct 23, 2017 - Comprehensive Synopsys Platform Enables Accelerated Verification of High-Performance, Low-Power RISC-V Processors and SoCs

Samsung SARC Selects Synopsys as Primary Verification Solution for Advanced ...

Sep 5, 2017 - Comprehensive Synopsys Platform Enables Accelerated Verification of High-Performance, Low-Power CPU, GPU and System IP for Mobile SoCs

Kyocera Selects Synopsys VC Formal for High-Performance Property Verification

Jun 28, 2017 - VC Formal Delivers Faster Convergence for Complex Multi-Functional Product Designs

Toshiba Selects Synopsys VC Formal Verification Solution

Jun 15, 2017 - Next-generation Formal Verification Technology Uniquely Positioned for Performance and Capacity Required for Complex SoCs

STMicroelectronics Standardizes on Synopsys VC Formal for Faster Verification...

Jun 7, 2017 - VC Formal’s high performance, capacity and robust engines enabled ST to locate corner case bugs earlier in the design cycle,.

Synopsys Announces Availability of Comprehensive Low Power Reference Kit for ...

Mar 21, 2017 - Bitcoin-mining Design-based Kit Features Complete RTL-to-GDSII Low Power Methodology