Verification Resources

Sort by

Synopsys Suggests

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

ARM and Synopsys Collaborate On ARM Cortex-A72 Processor-based SoCs with IC ...

Feb 06, 2015 - ARM and Synopsys Collaboration Enables Optimized Implementation of ARM Cortex-A72 Processor-based SoCs with IC Compiler II