RTL和netlist做了eco之后，如何跑FM

chanshi634 · 发表于 2018-4-22 14:20:39

您需要登录才可以下载或查看，没有账号？注册

x

如题，现在RTL做了eco，相应的在netlist里面做了eco，可是跑fm一直不过。也用了synopsys给的fm_eco_to_svf，但是产生的eco_map.svf是空的，因为更改的RTL region没有arithmetic operator。请教各位有什么好方法？谢谢

chanshi634 · 发表于 2018-4-22 21:53:14

哎，eetop真的只是适合入门的啊

Timme · 发表于 2018-4-24 23:38:06

formality ultra了解一下

[原创] RTL和netlist做了eco之后，如何跑FM