Cadence:Conformal系列形式验证工具

Conformal 工具最早由Verplex Systems开发。Verplex是一家专注于形式验证工具开发的公司,其核心产品是Conformal等效性检查工具。由于其技术的先进性和市场需求,Verplex的 Conformal工具迅速在半导体行业内获得了认可。

2003 年,Cadence Design Systems收购了Verplex Systems,将Conformal工具纳入其广泛的电子设计自动化(EDA)工具套件中。此后,Cadence继续对Conformal进行改进和优化,扩大了其应用范围,并集成到Cadence的整体设计验证解决方案中。

现在的Conformal形式验证系列包括Conformal LEC(Logic Equivalence Checking)、Conformal ECO(Engineering Change Orders)、Conformal LP(Low Power)、Conformal CD(Constraint Designer)以及Conformal Verify。

Conformal LEC用于进行逻辑等价性检查。

Conformal ECO用于实现和验证ECO。

Conformal CD用于验证、优化和提升设计约束。

Conformal LP用于低功耗设计验证工具,专门用于验证和优化低功耗设计。

Conformal Verify用于进行功能检查,例如HDL (RTL) Rules、Modeling Rules、Predefined Property Checks、Clock Domain Crossing Checks*。*

相关推荐
进击的奶龙13 天前
05dc环境约束
eda
进击的奶龙14 天前
04时序约束文件的编写
eda·dc综合
进击的奶龙15 天前
03数字ic综合文件内部对象
eda·dc综合
三贝勒文子15 天前
Synopsys 逻辑综合之 MultiBit Flip-Flop 与 ICG
fpga开发·eda·synopsys
进击的奶龙15 天前
01数字IC综合
eda·dc综合
进击的奶龙18 天前
02VCS_使用教程
verilog·仿真·eda
进击的奶龙18 天前
01EDA简介
eda
芯巧电子1 个月前
OrCAD X Capture CIS设计小诀窍系列--12.如何实现Design Rules Check
服务器·网络·cadence
芯巧电子2 个月前
OrCAD X Capture CIS设计小诀窍系列第二季--02.如何在Capture中设置元器件不输出到Netlist
科技·cadence·orcad
芯巧电子2 个月前
OrCAD X Capture CIS设计小诀窍系列第二季--03.如何在Capture中输出带有目录和元器件信息的PDF
科技·cadence·orcad