JasperGold

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