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

tiantang521 · 发表于 2013-8-9 17:39:01

问一下，什么时候关闭svf啊，是在compile之后嘛

yi4105635 · 发表于 2016-11-30 15:30:07

回复 4# knightliu

想问您下  关于svf  你如果在dc中set_svf off的话，是不是就不会生成svf这个文件了呢？那你如何做formality呢？
man了下  不太懂这嘎子
   Formality setup recording might be enabled by default  in  Design  Com-
   piler's  system-wide  setup  file. If  so, then the file name used is
   "default.svf".  If you prefer a different file name then  you  may  run
   set_svf in your setup file or script prior to performing any recordable
   operations.  Alternately, you may disable SVF recording  completely  by
   running "set_svf -off".