做功能ECO之前为什么要先检查LEC？

最新推荐文章于 2024-06-12 12:58:55 发布

NanDigits

最新推荐文章于 2024-06-12 12:58:55 发布

阅读量421

点赞数 3

文章标签：芯片

本文链接：https://blog.csdn.net/NanDigits/article/details/138634422

版权

做功能ECO之前为什么要先检查LEC？

当修改RTL后，或者重新综合得到新综合网表后，我们可以用LEC工具来确认工具报出来的不等价的点是不是就是我们刚修改过的地方。这一点非常重要。这是因为修改RTL或者重新综合后，原来的svf并不能完整地反映当前的状态。一，原来svf记录的优化动作可能会失效；二，缺失了一些新的优化记录。所以，ECO之前做LEC就可以确认工具是否正确地并准确地识别到了要修改的地方。

ECO工具本质上也是依赖LEC算法来找到要修改的点。如果自动识别不准确，就会有漏修复、冗余修复，或者动到本来不需要修改的地方，造成本来就非常稀缺后端ECO资源更紧张。严重时会导致后端APR ECO无法实现。

NanDigits GOF内部同时集成了LEC和ECO功能，GOF ECO中的LEC算法与GOF LEC中的LEC算法完全一致。这就保证了ECO过程前后的LEC结果的一致性。这有两点优势。一，修复的都是真实的不等价；二，修复后能保证第三方LEC signoff工具的再次检查和确认。

# NanDigits GOF ECO Script example

read_library("stdcell.lib");
read_design("resyn.v");
read_design("old_apr.v");
set_top("digital_top");

# check lec before eco
run_lec(); 
fix_design();

# check lec again after premask eco
run_lec();

# ...
map_spare_cells();
# check lec again after map spare cells when perform postmask eco
run_lec();

在上面的postmask eco示例flow中，一共检查了三次lec，分别是设计读进来之后、premask eco之后、postmask eco之后。第一次是为了确认GOF是否正确识别了RTL（或重新综合网表）中修改的点。后两次是为了确认是否当前LEC clean。

关于NanDigits Design Automation

Nandigits Design Automation于2007年成立，公司总部位于美国硅谷圣何塞（San Jose）。2016年10月在中国大陆成立销售和技术支持部门。我们是完整的芯片网表解决方案提供商，主要产品有网表功能ECO工具GOF ECO、逻辑等价性检查工具GOF LEC，网表调试工具GOF Debug、汽车电子功能安全验证的GOF Formal。到目前，我们已经帮助全球数十家芯片设计公司Tapeout超过100个项目。