Verification Resources

Sort by

Synopsys Suggests

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

Synopsys Accelerates RTL Signoff with Introduction of New SpyGlass Lint ...

Mar 29, 2016 - Breakthrough Lint-Turbo Technology Delivers 10 Performance, 5X Improvement in Memory, and 3X Faster Design Closure

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