全球电子设计创新的领导者 Cadence Design Systems, Inc. 推出了 INCISIVE 15.20.001，这是用于纳米级设计的单内核验证平台，支持嵌入式软件、控制、数据路径和模拟/混合信号/射频设计领域。
Cadence 的 Incisive Formal Verification Platform 是一个功能齐全的属性检查形式验证解决方案。Incisive 平台为 Verilog、VHDL、SystemC、SystemC 验证库、属性规范语言 PSL/Sugar、算法开发和模拟/混合信号 (AMS) 提供原生支持。它包括高性能功能的独特组合：广泛的事务级环境；快速、统一的测试生成；和按需加速。
虽然 Cadence 继续全面支持 Incisive 形式化技术，并且它仍然可供现有客户销售，但我们建议客户使用 JasperGold 形式化验证平台，这是未来领先的形式化验证解决方案。事实上，随着某些 Incisive 形式化技术与 JasperGold 平台的集成（参见 2015 年 6 月的新闻稿），JasperGold 形式化验证平台在所有方面都是推荐的解决方案。
Product: Cadence INCISIVE
Version: 15.20.001 Base release
Supported Architectures: x86_64
Website Home Page : http://www.cadence.com
Languages Supported: english
System Requirements: Linux *
Size: 9.3 Gb
* System Requirements: Supported Platforms and Operating Systems
Platform: lnx86
Architecture: x86_64
Supported OS: RHEL 5, RHEL 6, RHEL 7, SLES 11
