Cadence Jaspergold v20.03
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