在集成电路设计流程中,RTL(Register Transfer Level)级功能验证是确保设计符合规格的关键环节。Cadence JasperGold作为业界领先的形式化验证工具,通过数学化方法穷尽分析RTL代码行为,在属性检查与反例生成方面展现出显著优势,尤其在处理复杂协议和边界条件时效率远超传统仿真。
JasperGold形式验证平台新应用Superlint和Clock Domain Crossing助逻辑设计人员将IP开发时间缩短四周楷登电子(美国Cadence公司)今日正式发布JasperGold® 形式验证平台扩展版,引入高级形式化验证技术的JasperGol