Cadence Announces Next-Generation JasperGold Formal Verification Platform
HIGHLIGHTS:
- ? Unified Cadence Incisive and JasperGold formal verification platform delivers up to 15X performance gain versus previous solutions
- ? JasperGold platform, now integrated within the System Development Suite, finds bugs typically three months earlier than existing verification methods
- ? JasperGold solution’s powerful formal analysis engines are now integrated with Indago debug platform, automating root-cause analysis and on-the-fly what-if exploration
SAN JOSE, Calif., June 8, 2015? Cadence Design Systems, Inc. (NASDAQ: CDNS) today announced the next-generation Cadence® JasperGold® formal verification platform. This new formal verification solution integrates Cadence Incisive® formal technology and JasperGold … Read More → "Cadence Announces Next-Generation JasperGold Formal Verification Platform"

