DC综合中的.svf文件有什么用？

日月木易 · 发表于 2012-5-15 12:46:11

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

×

各位大牛，DC综合中的.svf文件作用是什么，里面有什么内容，是自动生成的吗？我引用别人的一个脚本，出来的.svf文件为什么是空的啊？望指教。

fengyingzi · 发表于 2012-7-3 14:49:41

同问！

handucheng · 发表于 2012-7-3 15:04:51

做formality用的，默认生成为default.svf，可以自己指定名字，在综合脚步开头加上set_svf xxx.svf,然后在脚步文件最后在加上set_svf off

fengyingzi · 发表于 2012-10-26 16:03:23

回复 3# handucheng
不加set_svf off 会有什么影响？

tianmaoyuan · 发表于 2013-4-11 09:17:04

同问啊

缓慢 · 发表于 2013-5-7 20:31:03

在compile 前加，最好。。。

ic小顽童 · 发表于 2013-5-8 08:58:22

svf有利于formal，但做formal不是一定要svf

火狼邓 · 发表于 2018-9-28 10:32:49

学习了

Andy126 · 发表于 2018-12-23 15:49:16

账号		自动登录	找回密码
密码			注册

[求助] DC综合中的.svf文件有什么用？