STMicroelectronics Standardizes on Synopsys VC Formal for Faster Verification Closure of Leading Microcontroller Designs
MOUNTAIN VIEW, Calif. -- June 7, 2017 -- Synopsys, Inc. (Nasdaq:SNPS), today announced that STMicroelectronics selected and standardized on Synopsys VC Formal, as their formal verification solution for advanced microcontroller designs. VC Formal's high performance, capacity and robust engines enabled ST to locate corner case bugs earlier in the design cycle, achieving significantly faster and earlier verification closure over existing solutions.
"ST is the leading supplier of products and solutions for Smart Driving and the Internet of Things, fulfilling industry needs with its STM32 family of advanced 32-bit general-purpose microcontrollers," said Mirella Negro Marcigaglia, MCD Verification Group Manager at STMicroelectronics. "The comprehensive STM32 product portfolio addresses a broad diversity of application challenges with very aggressive market-introduction schedules. Designers need a formal verification solution so as to provide best-in-class performance and quality, on a timely basis. Synopsys VC Formal's integrated formal verification and assertion IPs are very effective and exceeded our expectations in these areas, leading to significantly reducing development time."
With its comprehensive set of formal applications (Apps), including Property Verification (FPV), Connectivity Checking (CC), Sequential Equivalence Checks (SEQ), Register Verification (FRV), Formal Coverage Analyzer (FCA) and Automatic Extraction of Properties (AEP), Synopsys VC Formal has delivered faster property convergence for ST's many different use cases. VC Formal's broad portfolio of formal assertion IPs, led to the discovery of a significant number of pre-silicon bugs, enabling ST to deliver more designs in less time, without compromising quality. The native integration of VC Formal with Synopsys VCS functional verification solution and Verdi's industry leading debug engines, allows design and verification teams to easily leverage formal technologies and automate root cause analysis of formal results. Additionally, the native integration of robust coverage engines of VCS in VC Formal, facilitates easy insertion of formal analysis into the existing verification environment.
"We have long collaborated with industry leaders on the delivery of comprehensive static and formal verification solutions for advanced SoCs," said Mo Movahed, vice president of R&D in the Synopsys Verification Group. "Throughout these collaborations, we continue to build advanced formal verification solutions that integrate easily into verification flows and methodologies, enabling faster time to market."
For more information on VC Formal, please visit our blog at https://blogs.synopsys.com/informal-chat/
About Synopsys
Synopsys, Inc. (Nasdaq:SNPS) is the Silicon to Software™ partner for innovative companies developing the electronic products and software applications we rely on every day. As the world's 15th largest software company, Synopsys has a long history of being a global leader in electronic design automation (EDA) and semiconductor IP and is also growing its leadership in software quality and security solutions. Whether you're a system-on-chip (SoC) designer creating advanced semiconductors, or a software developer writing applications that require the highest quality and security, Synopsys has the solutions needed to deliver innovative, high-quality, secure products. Learn more at www.synopsys.com.
|
Synopsys, Inc. Hot Verification IP
Related News
- Synopsys Delivers 100X Faster Formal Verification Closure for AI, Graphics, and Processor Designs
- Synopsys Delivers 10X Performance in Formal Property Verification with Breakthrough Machine Learning Technology
- Kyocera Selects Synopsys VC Formal for High-Performance Property Verification
- Toshiba Selects Synopsys VC Formal Verification Solution
- Synopsys Expands Memory Verification IP Portfolio with UFS, UniPro and eMMC to Accelerate Verification Closure for Mobile Designs
Breaking News
- Frontgrade Gaisler Unveils GR716B, a New Standard in Space-Grade Microcontrollers
- Blueshift Memory launches BlueFive processor, accelerating computation by up to 50 times and saving up to 65% energy
- Eliyan Ports Industry's Highest Performing PHY to Samsung Foundry SF4X Process Node, Achieving up to 40 Gbps Bandwidth at Unprecedented Power Levels with UCIe-Compliant Chiplet Interconnect Technology
- CXL Fabless Startup Panmnesia Secures Over $60M in Series A Funding, Aiming to Lead the CXL Switch Silicon Chip and CXL IP
- Cadence Unveils Arm-Based System Chiplet
Most Popular
- Cadence Unveils Arm-Based System Chiplet
- CXL Fabless Startup Panmnesia Secures Over $60M in Series A Funding, Aiming to Lead the CXL Switch Silicon Chip and CXL IP
- Esperanto Technologies and NEC Cooperate on Initiative to Advance Next Generation RISC-V Chips and Software Solutions for HPC
- Eliyan Ports Industry's Highest Performing PHY to Samsung Foundry SF4X Process Node, Achieving up to 40 Gbps Bandwidth at Unprecedented Power Levels with UCIe-Compliant Chiplet Interconnect Technology
- Arteris Selected by GigaDevice for Development in Next-Generation Automotive SoC With Enhanced FuSa Standards
E-mail This Article | Printer-Friendly Page |