Cadence推出的JasperGold形式验证平台,此新型形式验证解决方案将Cadence Incisive形式与JasperGold技术整合为单一平台,与以往解决方案相比,效率得到了较大提升。此外,整合至Cadence系统开发套装 (Cadence System Development Suite)后,JasperGold技术可缩短验证时间。
Cadence推出的JasperGold形式验证平台,此新型形式验证解决方案将Cadence Incisive形式与JasperGold技术整合为单一平台,与以往解决方案相比,效率得到了较大提升。此外,整合至Cadence系统开发套装 (Cadence System Development Suite)后,JasperGold技术可缩短验证时间。