Cadence CONFORMAL破解版V24.20.100 Linux版

Cadence Design Systems，Inc已发布Cadence CONFORMAL 24.20.100，这是市场上领先的等效检查器，它可以完成从RTL到GDSII的所有工作。

Cadence CONFORMAL是一款形式验证驱动的等效、低功耗和ECO解决方案，使用可为用户提供独立的等效性检查解决方案，支持从RTL到P&R的最终网表验证设计。

除了标准的等效性检查外，Conformal解决方案提供丰富的功能，随着设计不断变得更加复杂，以满足对功率、性能、面积和上市时间的严格要求，设计的形式验证仍然是确保芯片成功的主要和必须具备的签核指标。包含低功耗设计的静态验证解决方案，包括低功耗等效性检查。自动化ECO生成功能，可实现最小的网表更改和更快的流片。时钟域交叉和SDC验证解决方案的约束设计器。

Product Name: CONFORMAL (the former Verplex tool)
Version: 24.20.100 Base Release
Supported Architectures: x86_64
Website Home Page : http://www.cadence.com
Languages Supported: english
System Requirements: Linux *
Size: 1.8 Gb