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