Issue link: https://resources.pcb.cadence.com/i/1149719
© 2019 Cadence Design Systems, Inc. All rights reserved. ML-enabled Smart JasperGold Third-generation JasperGold formal verification platform "We measured 2x faster proofs out-of-the-box, 5x faster regressions and non-converged properties reduced by 50%" -Mirella Negro Marcigaglia, digital design verification manager, STMicroelectronics Smart Proof Technology ML for solver inference and multi- advisor orchestration Advanced Design Scalability 2x design capacity increase and 50% memory footprint reduction SoC Signoff-quality Formal Coverage Signoff-accurate formal coverage with new intuitive analysis GUI Custom Solver A B … N Training Data Third-Generation JasperGold ® Formal Verification Platform