集成第三方LEC工具来做功能ECO

原创 已于 2024-03-20 15:21:44 修改 · 905 阅读 · 7 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
文章标签：

#芯片

于 2024-03-19 16:33:53 首次发布
本文介绍了如何将第三方逻辑等价性检查（LEC）工具如SynopsysFormality的结果整合到GOFECO流程中，解决GOF在处理特定SystemVerilog语法和复杂结构时的难题，以及使用脚本将Formality的不等价报告转换为GOF所需的ECOpoints列表进行设计修复。

有时，读入第三方RTL与RTL的等价性检查结果来做ECO是一种非常方便的工作流程。用户做ECO修改RTL后，从RTL与RTL的LEC中可以直接看出设计的改动。第三方的LEC结果，比如Synopysys Formality的不等价报告，可以无缝衔接进GOF ECO的flow里。

另外，这个流程也解决了GOF自带的RTL LEC的问题，尤其是一些SystemVerilog的特殊用法，或者generate语句和复杂参数导致GOF在elab后的层次结构很难与用户网表（通常由Synopsys DC或者Cadence Genus生成）匹配的问题。

图片

从第三方工具中加载不等价的列表文件

GOF ECO能够读入并处理ECO points的列表。ECO points列表由类型（inst、port、pin等）和路径组成，一行一个，可以写多行。这个ECO points列表格式简单，也很容易手工整理和编写。当ECO改动不大时，手工写也是好的选择。

inst yak_zcvg_inst/skip_pix_reg
port te_coord[5]
inst yak_hah_inst/x_start_pa_reg_31_
inst yak_hah_inst/x_end_pa_reg_30_
inst yak_hah_inst/x_end_pa_reg_29_
inst yak_hah_inst/x_end_pa_reg_28_
inst yak_hah_inst/x_end_pa_reg_27_
inst yak_hah_inst/x_end_pa_reg_26_
pin yak_hah_inst/u_sync_cell/D

从第三方LEC工具生成ECO列表文件后，在GOF的fix_design() api里用-list_file选项读取。

Synpos

最低0.47元/天 解锁文章
NanDigits
关注
NanDigits GOF ECO 9介绍
NanDigits的博客
02-11 911
介绍 Gates On the Fly（GOF）ECO是来自美国NanDigits的芯片功能ECO的EDA软件。GOF ECO拥有行业领先的技术和算法，提供完整的网表ECO解决方案。NanDigits团队有深厚的集成电路设计背景，知道在处理网表ECO时什么才是最实用的方法。 与其它商业网表ECO软件相比，我们的解决方案是独一无二的，最实用的。GOF ECO支持RTL vs 网表、网表 vs 网表两种ECO流程。 GOF ECO可以与主流后端EDA工具流程直接对接，输出innovus或者dc/.
Cadence公司的数字IC设计工具：形式验证工具（Conformal）——（1）
qq_42922513的博客
06-20 6344
Cadence公司形式化验证工具Conformal的使用方法
数字IC后端学习笔记：等价性检查和ECO
前进，才知道自己的渺小
07-01 3496
但门级仿真是不能够提供担保的，不能100%的确定修改后的RTL和修改后的网表是等价的。在ECO时，最初进入xmitstate[2]触发器的输入，被切断并连接到一个由或门和与门构成的选择器，通过控制选择器可以决定选择新加入的逻辑分支还是最初的逻辑分支。当满足给定的条件时，通过选择器可以选择我们需要的值，在其他条件下，通过选择器选择旧的值。对于某些电路的移植，一般不需要对新电路进行仿真验证，而可以直接通过EDA工具来分析该电路的功能是否与原电路一致，此种验证方法可以大量减少验证时间，提高电路的效率。
Cadence LEC工具使用介绍
最新发布
u013912838的博客
10-28 255
本教程介绍了LEC（逻辑等价性检查）的debug过程。首先通过GUI操作读取设计、设置约束并查看对比失败点。整个过程提供了从问题定位到原因分析的系统方法。
conformal和LEC的关系
weixin_61092302的博客
09-13 2476
它的主要用途之一是执行逻辑等效性检查，以确保设计的两个版本（通常是原始RTL设计和综合后的网表）在逻辑上是等效的。LEC 是 Conformal 的一个主要应用领域，用于验证两个电子设计（通常是RTL设计和综合后的网表）在逻辑上是否等效。所以，Conformal 是 Cadence 公司的形式验证工具，LEC 是 Conformal 中的一个应用领域，主要用于逻辑等效性检查。通过使用 LEC，工程师可以确保设计的两个版本在逻辑上是等效的，从而提高设计的可靠性和正确性。
lec(logic equivalence check)--cadence 等价性检查工具理解
热门推荐
学而不思则罔，思而不学则殆
10-10 3万+
lec是独立的不基于任何指定的综合工具 key point mapping ummapped points有三类 formal functional comparison algorithms 两种comparison方式 setup mode 和 lec mode blackbox set report unreachable key points 设置选项尽量避免unreachable报告因为很
Encounter做ECO的方法_脚本方法
11-13
使用Encounter做ECO的脚本环境介绍，讲的还算可以的。
dc工具做eco的命令
03-28
用户提到的引用[1]和[2]涉及后端工具如ICC和第三方LEC工具，但用户的问题集中在DC工具上，所以需要聚焦于综合阶段的ECO命令。DC中的ECO操作通常涉及修改网表而不重新运行整个综合流程，这时候需要用到的命令可能包括...
给我一个实现lec的脚本
08-03
在引用[1]中提到：“集成第三方LEC工具来做功能ECO。另外，这个流程也解决了GOF自带的RTL LEC的问题，尤其是一些SystemVerilog的特殊用法，或者generate语句和复杂参数导致GOF在elab后的层次结构很难与用户网表...
dc工具eco命令
03-19
引用[1]提到了在ICC中使用eco_netlist命令生成ECO脚本，引用[2]提到使用第三方LEC工具和转换ECO points列表，引用[3]则涉及DC综合的常规步骤。用户的问题集中在DC工具的ECO命令，所以需要聚焦在DC的相关文档或命令。...
CS231n学习记录Lec9 Tools/Platform工具介绍
个人学习
03-14 295
Lec9 工具介绍 1. CPU vs GPU NVIDIA dominant 深度学习中大量的矩阵乘法，可以拆分成元素与元素之间的乘法，从而很好的配合GPU的并行运算能力。 GPU编程 OpenCL可以跑在GPU（both Nvidia and AMD）、CPU上，但CUDA（only Nvidia）的优化（cuDNN）好于OpenCL。 CPU与GUP的通信 两者之间的...
LEC(logic equivalence check )-----初始
GANHUIJUN的博客
06-12 3208
 很多时候，我们ICer只是使用LEC tool来进行等价性check，而对于其中的原理了解得比较少，大家看到EQ就万事大吉了，最近打算深入的讲一讲LEC check的原理，以及如何debug 
做功能ECO之前为什么要先检查LEC？
NanDigits的博客
05-09 814
当修改RTL后，或者重新综合得到新综合网表后，我们可以用LEC工具来确认工具报出来的不等价的点是不是就是我们刚修改过的地方。这一点非常重要。
版图ECO的那点事（上）
i_chip_backend的博客
04-06 3823
芯片ECO的阶段是成功tape-out的最后阶段，稳扎稳打方能越战越勇。 同时，合理使用命令处理细节问题，也是保证高效成功的必要条件
IC科普文：ECO的那些事
fgupupup的博客
12-19 1498
转载https://www.zhihu.com/question/263470428
Formality的逻辑等价性检查介绍和参考脚本
NanDigits的博客
04-09 4729
由于电路在综合、后端过程中会进行多轮时序、面积、功耗的优化，RTL中的DFF在Imp中不一定都可以直接找到，可能会被合并（reg merge）、复制（reg duplication）、打平（ungroup）、改名（change name）等。比如，前端设计过程中RTL1 vs RTL2，综合后的RTL vs Syn Netlist，插入DFT后RTL vs DFT Netlist，布局布线后RTL vs APR Netlist。具体来说分成两大应用。另一种是电路的一致性检查，检查RTL、网表之间的等价性。
LEC对于Verilog代码指导
qq_34110120的博客
08-28 758
1.case情况列完整 Module xyz (sm, out); input [1:0] sm; output out; regout; always @(sm) case (sm) //synopsysfull_case 2’b00: out = 2’b01; 2’b01: out = 2’b10; 2’b11: out = 2’b00; endcase endmodul...
版图ECO的那点事（中）
i_chip_backend的博客
04-13 2212
版图ECO的那点事（中） 如何在APR实现ECO的时候，效率更高，效果更好，一起来看看这里的： ECO版图实现的技巧和经验吧。 希望能带给大家共鸣
PADS-LAYOUT菜单及工具使用
m0_60718520的博客
07-04 7093
用来查看设计中所有对象的所有特征，如同筛选器一样，你可以选择需要的对象进行查看、添加、编辑、删除操作，特征管理对话框将以表格的形式进行排列。3D封装的时候需要，可以通过属性管理器一次性设置，再次可以编辑修改，COST、Description是原理图中导入的，需要在ECO中修改。当PCB板上的元件高度都进行相应的设置后，就可以在3D View中查看整个PCB设计的3D模型。查看当前设计中的网络，从中可以选择需要查看的网络，并进行网络的颜色、飞线的显示与否等设置操作。不建议使用ECO，因为和原理图会不同步。
在数字设计中，如何使用LEC工具进行功能验证？
06-27
在数字设计中应用LEC（逻辑等价性检查）工具进行功能验证，是确保设计在经过综合、优化或工程变更后仍保持原有功能一致性的关键手段。该过程通常涉及两个设计版本的对比：一个是原始设计（Golden），另一个是修改后的设计（修订版）。通过形式验证技术，LEC工具能够判断这两个设计是否在布尔逻辑上完全等价[^1]。 ### 准备阶段 在执行LEC之前，需准备好以下三类文件： - **Golden设计**：通常是综合后的门级网表。 - **修订版设计**：可能是经过优化、ECO修改或物理实现后的设计。 - **约束文件**：包括时钟定义、复位信号、don't care状态设定等信息，用于指导工具正确建模设计行为[^1]。 此外，还需配置验证环境，例如设置匹配规则、指定忽略的模块或信号等，以确保工具能准确识别两个设计之间的对应关系。 ### 执行流程 使用如Synopsys Formality或Cadence Conformal等主流LEC工具时，基本流程如下： 1. **读取设计**：加载Golden和修订版设计，并指定其类型。 2. **设置建模选项**：根据优化动作调整建模参数，例如对于寄存器复制、合并、常值优化等情况，需启用`set_flatten_model`及相关选项以避免误判[^2]。 3. **建立映射关系**：手动或自动对齐两个设计中的端口、模块和信号名称。 4. **运行验证**：启动形式验证引擎，工具将基于布尔逻辑进行比对。 5. **分析结果**：查看报告中的不匹配项，分析原因并修正设计或约束条件。 ### 常见问题与处理 在实际应用中，可能遇到以下情况： - **信号未匹配**：由于命名差异或结构变化导致，可通过添加别名或调整映射策略解决。 - **DON'T CARE优化**：某些“无关紧要”的输入被优化为固定值，需在约束中明确指定这些信号的状态范围。 - **寄存器替换**：如将DFF替换为latch或插入clock gating cell，需启用对应的建模选项以支持此类变换[^2]。 - **冗余逻辑**：工具应能识别并跳过不影响输出的冗余部分。 ### 示例：Conformal LEC脚本片段 ```tcl # 设置Golden和修订版设计路径 set golden_netlist "golden.v" set revised_netlist "revised.v" # 读取设计 read_verilog -golden $golden_netlist read_verilog -revised $revised_netlist # 指定顶层模块 set_top_module golden top_module set_top_module revised top_module # 配置建模选项，应对寄存器优化 set_flatten_model -golden true set_flatten_model -revised true # 运行验证 run_verification # 输出结果报告 report_verification_status ``` 上述脚本展示了如何在Conformal中配置基础环境并执行验证任务。具体参数和命令可根据项目需求进一步定制。 ---
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值