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