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

相关推荐
思尔芯S2C1 个月前
What is RISC-V?
fpga开发·soc·risc-v·eda·fpga原型验证·prototyping·verification
轩阁楼主1 个月前
cadence多版本启动问题
cadence
轩阁楼主1 个月前
cadence 17.4之allegro 不能设置net颜色
cadence
思尔芯S2C2 个月前
FPGA Prototyping vs Emulation
fpga开发·eda·fpga原型验证·硬件仿真·emulation·prototyping·s2c
LostSpeed3 个月前
cadence SPB17.4 - allegro - DRC error “Soldermsk to Shape Spacing“
cadence·spb17.4
花果山圣僧5 个月前
Allegro光绘Gerber文件、IPC网表、坐标文件、装配PDF文件导出打包
cadence·allegro·gerber·pcba
NULL指向我6 个月前
EDA设计学习笔记2:STM32F103C8T6最小系统板的仿绘
笔记·学习·eda
EDA365电子论坛6 个月前
【派兹互连·SailWind】美国瞄准“小华为”
华为·eda
boshushuoshuo9 个月前
LSF 主机状态 unreach 分析
eda·lsf·unreach