最新消息:请大家多多支持

Cadence CONFORMAL 23.20.200 Linux

CAX/EDA dsgsd 89浏览 0评论
Cadence CONFORMAL 23.20.200
Cadence CONFORMAL是一款形式验证驱动的等效、低功耗和ECO解决方案,使用可为用户提供独立的等效性检查解决方案,支持从RTL到P&R的最终网表验证设计。除了标准的等效性检查外,Conformal解决方案提供丰富的功能,随着设计不断变得更加复杂,以满足对功率、性能、面积和上市时间的严格要求,设计的形式验证仍然是确保芯片成功的主要和必须具备的签核指标。包含低功耗设计的静态验证解决方案,包括低功耗等效性检查。自动化ECO生成功能,可实现最小的网表更改和更快的流片。时钟域交叉和SDC验证解决方案的约束设计器。


Cadence CONFORMAL 23.20.200 | 2.6 Gb

Cadence Design Systems, Inc. has unveiled CONFORMAL 23.20.200 is the leading equivalence checker on the market and it does everything from RTL to GDSII.

Cadence Conformal technologies provide you with an independent equivalence checking solution enabling verification of designs from RTL to final netlists from P&R. In addition to standard equivalence checking, the Conformal solution offers:
– Static verification solutions for low-power designs, including low power-aware equivalency checking
– Automated ECO generation capabilities for minimal netlist changes and faster tapeouts
– Constraint designer for clock domain crossing and SDC verification solutions

Hear from Cadence customers and alliance partners as they highlight the collaboration and use of Cadence technologies to address today’s business and design challenges.
Cadence is a pivotal leader in electronic design and computational expertise, using its Intelligent System Design strategy to turn design concepts into reality. Cadence customers are the world’s most creative and innovative companies, delivering extraordinary electronic products from chips to boards to systems for the most dynamic market applications.

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

* included:

Base_CONFRML23.20.100_lnx86
Hotfix_CONFRML23.20.200_lnx86


Password/解压密码www.tbtos.com

资源下载此资源仅限VIP下载,请先

转载请注明:0daytown » Cadence CONFORMAL 23.20.200 Linux

您必须 登录 才能发表评论!