登录/注册

conformal

更多

Cadence Conformal AI Studio三大核心引擎重塑IC验证

Cadence 以 Conformal AI Studio 结合强化学习与分布式架构,全面升级 LEC、低功耗验证和 ECO,在 AI 设计时代开创新范式。

2026-01-05 10:12:19

Cadence Conformal AI Studio荣获2025亚洲金选奖年度最佳EDA奖

Cadence Conformal AI Studio 在 2025 年亚洲 EE 大奖中荣获“年度最佳 EDA”称号!

2025-12-26 09:55:49

Cadence Conformal AI Studio助力前端验证设计

Cadence 推出最新的前端验证设计方案 Conformal AI Studio,专为解决日益复杂的前端设计挑战而打造,旨在提升设计人员的工作效率,进而优化全流程功耗、效能和面积(PPA)等设计目标。

2025-06-04 11:16:02

Cadence推出Conformal AI Studio

随着 SoC 设计日益复杂,形式等效性检查面临更大挑战。为此,Cadence 推出了 Conformal AI Studio —— 一套全新的逻辑等效性检查(LEC)、自动化 ECO(Conformal ECO)和低

2025-03-21 13:50:03

浅析Formality形式验证里的案件

在当前的形式验证的领域,主要有两个工具,一个就是Cadence的conformal,另外一个就是Synopsys的formality(以下简称FM)。

2023-07-21 09:56:34

Conformal和formality做形式验证svf文件问题

formality要读入一个svf文件,那conformal需要读入什么文件帮助LEC呢?试了用DC生成一个vsdc文件,但读进去并没有解决问题,一个可能是读的指令不对,又或者还需要发送什么指令来进行设置?

2022-08-11 17:51:09

怎么解决Conformal做RTL和netlist的形式验证时综合优化的电路也会报不相等?

用Conformal做RTL和netlist的形式验证,对比结果有很多报不等的是DC综合被优化掉的,conformal没有识别出来这种优化,请问需要设置什么可以解决这个问题?

2022-08-09 17:31:22

芯片设计之逻辑等价检查 (LEC)

除了 Verilog 和 VHDL 支持读取设计文件外,Conformal 工具还支持读取 Verilog 标准仿真库和 Liberty 格式库。

2022-05-13 17:02:03

使用 Conformal 的工程变更单 (ECO) 入门

所有现代数字逻辑都由组合逻辑和时序逻辑组成。组合逻辑由门组成,而顺序逻辑由触发器组成。不同的晶体管以特殊的方式连接形成一个栅极,而不同的栅极连接形成一个触发器。无论是组合逻辑还是时序逻辑,任何芯片的基本单元都是晶体管。 现代芯片由数十亿个晶体管组成。例如,2021 年 10 月发布的最新款 MacBook M1 max 处理器由约 570 亿个晶体管组成。从

2021-11-22 18:04:12

分析LEC在IC设计中的重要性和应用

在设置模式下,Conformal工具读取两个设计。我们指定设计类型,即Golden(综合网表)和修订版(通常,修改后的设计是Conformal工具与Golden设计相比的修改或后处理设计)。对于LEC的执行,

2019-08-28 14:25:40

7天热门专题 换一换
相关标签