Verification Resources

Sort by

Synopsys Suggests

Synopsys VC LP for Low Power Signoff Verification Delivers Up To 5X Runtime ...

Nov 07, 2019 - Samsung adopts the Synopsys VC LP for low-power signoff and static verification to minimize costly design iterations for large-scale, complex System-on-Chip (SoC) designs.

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