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

knightliu · 发表于 2009-10-24 15:06:15

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

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

x

小弟最近学习formality。看了一些资料，在formality中做RTL何综合后netlist的验证，用set_svf default.svf 读入svf文件。但不知道为何报错，如下：
Error 27 ：state 0，line 3：

Error ： Invalid SVF，contents ignored

请问是何问题？default.svf不是由DC自动写出的么？是需要在综合时加入某些命令么？望各位大侠解决。十分谢谢。

knightliu · 发表于 2009-10-24 15:38:23

没人回答啊是不是因为我没有退出DC default.svf没有完全写完？

snojasper · 发表于 2009-10-26 11:19:27

DC中有条语句要关掉SVF 才行。你去查一下吧

knightliu · 发表于 2009-10-26 16:53:16

恩我试了一下在DC中输入set_svf -off 关掉SVF就可以了谢谢回答

estyzq · 发表于 2011-8-7 11:23:21

dc中要自己写入
set_svf ./svf_path/design_top_name.svf
在fm_shell中，在制定set_svf是dc指定的路径就行了。
可以在dc中输入set_svf off 就不用关闭dc terminal直接进行fm

icfbicfb · 发表于 2011-8-7 17:31:24

问下，svf文件全称是啥，干啥用的，

estyzq · 发表于 2011-8-8 23:52:03

回复 6# icfbicfb

svf:setup verification file ;记录dc在综合时采用的优化、复用、状态机重编码信息等等，供formality验证时使用。

icfbicfb · 发表于 2011-8-9 14:51:56

这样的，那么svf是dc写出来的是吧，其他工具能写么

fm能读入

zfx253 · 发表于 2011-8-12 17:14:18

RC也可以写出类似的文件.ovf

a262915239 · 发表于 2011-11-19 20:33:17

学习了

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

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

相关帖子