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