DC综合中的.svf文件有什么用？
时间：10-02
整理：3721RD
点击：
各位大牛，DC综合中的.svf文件作用是什么，里面有什么内容，是自动生成的吗?我引用别人的一个脚本，出来的.svf文件为什么是空的啊?望指教。
同问！
做formality用的，默认生成为default.svf，可以自己指定名字，在综合脚步开头加上set_svf xxx.svf,然后在脚步文件最后在加上set_svf off
不加set_svf off 会有什么影响?
同问啊
在compile 前加，最好。
svf有利于formal，但做formal不是一定要svf