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*。*

相关推荐
知梦EDA5 天前
【今日半导体行业分析】2025年3月24日
大数据·人工智能·eda·半导体·行业分析
知梦EDA7 天前
【今日EDA行业分析】2025年3月24日
大数据·人工智能·eda·半导体·行业分析
红花与香菇2____1 个月前
【学习笔记】Cadence电子设计全流程(二)原理图库的创建与设计(上)
笔记·嵌入式硬件·学习·pcb设计·cadence·pcb工艺
热爱学习地派大星2 个月前
Cadence笔记--原理图导入PCB
笔记·cadence
暮雪倾风3 个月前
【硬件介绍】Type-C接口详解
接口·eda·电路·type-c
中古传奇3 个月前
【Verdi实用技巧-Part2】
eda
中古传奇3 个月前
【DC简介--Part1】
eda
美式小田3 个月前
Cadence学习笔记 16 HDMI接口布局
笔记·嵌入式硬件·学习·cadence
美式小田3 个月前
Cadence学习笔记 12 PCB初始化设置
笔记·嵌入式硬件·学习·cadence
stm 学习ing3 个月前
HDLBits训练6
经验分享·笔记·fpga开发·fpga·eda·verilog hdl·vhdl