Cadence Design Systems, Inc. 推出了CONFORMAL 23.20.200,它是市场上领先的等效检查器,它可以执行从 RTL 到 GDSII 的所有操作。
Cadence CONFORMAL是一款形式验证驱动的等效、低功耗和ECO解决方案,使用可为用户提供独立的等效性检查解决方案,支持从RTL到P&R的最终网表验证设计。除了标准的等效性检查外,Conformal解决方案提供丰富的功能,随着设计不断变得更加复杂,以满足对功率、性能、面积和上市时间的严格要求,设计的形式验证仍然是确保芯片成功的主要和必须具备的签核指标。包含低功耗设计的静态验证解决方案,包括低功耗等效性检查。自动化ECO生成功能,可实现最小的网表更改和更快的流片。时钟域交叉和SDC验证解决方案的约束设计器。
Cadence Conformal技术为您提供独立的等效性检查解决方案,可验证从 RTL 到 P&R 最终网表的设计。除了标准等效性检查之外,还提供:
- – 适用于低功耗设计的静态验证解决方案,包括低功耗感知等效性检查
- – 自动 ECO 生成功能,可实现最小网表更改和更快的流片
- – 用于时钟域交叉和 SDC 的约束设计器验证解决方案
Cadence是电子设计和计算专业知识领域的关键领导者,利用其智能系统设计策略将设计概念转化为现实。Cadence 的客户是世界上最具创造力和创新性的公司,为最具活力的市场应用提供从芯片到电路板再到系统的非凡电子产品。
Owner: Cadence Design Systems, Inc.
Product Name: CONFORMAL (the former Verplex tool)
Version: 23.20.200
Supported Architectures: x86_64
Website Home Page : http://www.cadence.com
Languages Supported: english
System Requirements: Linux *
Size: 2.6 Gb
包含版本:
新版本:
Base_CONFRML23.20.100_lnx86
Hotfix_CONFRML23.20.200_lnx86
旧版本:
Base_CONFRML19.20.100
Base_CONFRML20.10.100
Base_CONFRML20.20.100
Base_CONFRML21.10.100
Base_CONFRML21.20.100
Base_CONFRML22.10.100
Base_CONFRML22.20.100
Base_CONFRML23.10.100
Hotfix_CONFRML19.20.200
Hotfix_CONFRML20.10.200
Hotfix_CONFRML20.20.200
Hotfix_CONFRML21.10.200
Hotfix_CONFRML21.20.200
Hotfix_CONFRML22.10.200
Hotfix_CONFRML22.10.300
Hotfix_CONFRML22.20.200
Hotfix_CONFRML23.10.200