Cadence Jaspergold v20.03

Key Benefits

• Finds more bugs in less time, earlier in the design process, compared to other verification methods
• ML-enabled Smart Proof Technology for 2X faster proofs out-of-the-box and 5X faster regressions
• Advanced design scalability for 2X design capacity increase and 50% memory footprint reduction
• Signoff-accurate formal coverage with new intuitive analysis GUI
• Eases debug and what-if analysis with the powerful Visualize interactive debug environment incorporating QuietTrace technology

product:Cadence Jaspergold v20.03
Lanaguage:english
Platform:Linux/Macosx
Size:1DVD