日志

formality eco modify svf file

已有 526 次阅读| 2024-8-16 18:28 |系统分类:芯片设计| formality, eco, svf

遇到复杂的eco功能修改，会对导致使用原来的svf文件做formality failed，因此需要使用更新后的eco_svf文件，流程如下：

1.使用新旧netlist文件，直接在terminal，输入以下命令产生新的eco_svf文件：

fm_eco_to_svf org_design.v eco_design.v > eco_change.svf

2.产生setup map file，直接打开fm_shell运行一下命令
fm_shell > set_svf org.svf eco_change.svf

fm_shell > read_container -r org.fsc

fm_shell > read_container -i eco.fsc

fm_shell > generate_eco_map_file -replace eco_map.svf

3.formality 验证时读入新的svf文件以及map file

set_svf eco_change.svf eco_map.svf

4.fsc文件产生于write_container命令

参考文档：UG P-193