09版的DC综合出的网表跟code 如何做FV

flowerah2 · 发表于 2010-10-18 20:28:00

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

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

x

我综合出来的网表跟rtl 比的时候，必须要读进去 svf，不然就不行。比如里面有些DFF点，综合的时候create a new inverter，当我在formality的时候，code编译出来，这个DFF的Q 连到我的output port, 但是网表是DFF/QN连到我的output port。这两个port就没法比过。读入svf后，就可以，因为svf里有一个提示是这个Q inv_push。
我想问下，如果不读入svf，应该怎么操作，还是要在综合的时候设置个什么变量？