Cadence Delivers Smart JasperGold Formal Verification Platform

/ -- Highlights:
Third-generation formal verification technology delivers an average of 2X faster proofs out of the box and 5X faster regression runs by leveraging new machine learning-enabled Smart Proof Technology
New platform also delivers more than 2X design compilation capacity and an average of 50% memory usage reduction
Smart Proof Technology
"We measured averages of 2X faster proof performance out of the box and 5X faster regression runs across our design testcases with the new smart JasperGold platform," stated Mirella Negro Marcigaglia, Digital Design Verification Manager at STMicroelectronics. "We are also seeing non-converged properties reduced by over 50%. Combined, these improvements significantly boost our verification productivity."

Advanced Design Scalability

Formal Signoff Enhancements
"The first-generation JasperGold platform pioneered commercial formal verification and apps in the market, and the second generation integrated Cadence technologies to establish formal verification with mainstream users," stated Ziyad Hanna, corporate vice president, Fabric and Formal Solutions, System & Verification Group at Cadence. "Our third-generation smart JasperGold platform significantly advances core formal technology, applying machine learning to achieve tangible performance and scalability benefits for our customers."
About Cadence