请教关于formality读入svf文件的问题

icfbicfb · 发表于 2011-11-19 22:52:25

现在都是自家的工具综合，然后用自家的形式验证工具可以过，

RC综合的， fm 能过么，或者说 dc综合的， lec 能过么，

set_svf -off 一定要写，否则， svf关闭的时候格式不行，fm读不进去的

queensmile · 发表于 2012-6-14 11:19:15

恩，我也遇到过这个问题~

ppseuradio1 · 发表于 2012-6-14 11:31:09

回复 5# estyzq

什么时候fm要用到svf，什么时候可以不用啊，做了几个项目，感觉有时候可以不加，但是不明白其原因~~

jn10212141 · 发表于 2012-9-18 12:06:53

xiexie~~

hongzhiliao · 发表于 2012-9-18 14:08:16

回复 13# ppseuradio1

同问～

PYGH · 发表于 2012-11-5 14:33:13

同问！！！！

gongxiao · 发表于 2013-1-18 15:29:35

还有，就是FM的版本不能比DC的版本低，我就遇到过这问题！

tcwch · 发表于 2013-2-23 22:47:37

回复 13# ppseuradio1

我的笨办法：看看log里面的warning和info，如果做了优化逻辑的动作，多半要SVF

power0650 · 发表于 2013-2-24 09:46:51

用Formality第一步就可以读入svf文件。
至于是否需要加入svf文件，主要看综合的过程是否做了优化的动作。一般RTL代码到DC综合网表，综合网表和带扫描链网表之间的验证都要读入svf文件；至于综合后的网表与p&R后的验证可以不用加svf。
如果你不清楚或者不确定，就每次都验证都吃入svf。

messiwang2011 · 发表于 2013-5-7 10:43:46

svf 不小心删除了没有svf rtl与pr后的netlist比不过怎么办

站长推荐 /1