做功能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 exampleread_library("stdcell.lib");read_design("resyn.v");read_design("old_apr.v");set_top("digital_top");# check lec before ecorun_lec();fix_design();# check lec again after premask ecorun_lec();# ...map_spare_cells();# check lec again after map spare cells when perform postmask ecorun_lec();
关于NanDigits Design Automation
Nandigits Design Automation于2007年成立，公司总部位于美国硅谷圣何塞（San Jose）。2016年10月在中国大陆成立销售和技术支持部门。我们是完整的芯片网表解决方案提供商，主要产品有网表功能ECO工具GOF ECO、逻辑等价性检查工具GOF LEC，网表调试工具GOF Debug、汽车电子功能安全验证的GOF Formal。到目前，我们已经帮助全球数十家芯片设计公司Tapeout超过100个项目。
欢迎评估试用
中国大陆
技术支持：support@nandigits.cn
美国总部
技术支持：support@nandigits.com
新官方网站：https://nandigits.co（原.com继续使用，.cn域名仅保留部分技术支持文档，会自动跳转到.co）
欢迎联系评估和试用：https://nandigits.cn/license/getlic.php。
