fm里面的svf是什么意思？

llwanghong · 发表于 2012-11-9 10:35:36

回复 4# zh123456789

确定是setup verfication file???
感觉应该是synopsys verification file吧？

qing_icefire · 发表于 2013-8-21 09:08:31

受教了，谢！

ic_worker_man · 发表于 2013-8-21 12:39:33

赞同是synopsys verification file的说法。使用Candence的LEC做形式验证，就无法加载这个文件的。

ic_worker_man · 发表于 2013-8-21 14:36:54

回复 13# ic_worker_man

不好意思，更正说法：SVF的全称应该是“Setup Verification for Formality”

Jasmine@2013 · 发表于 2013-9-5 21:35:55

soga!!!!

ershier86 · 发表于 2015-8-8 10:49:32

学习了！！

johnson0902 · 发表于 2017-8-7 09:25:12

受教了，谢谢

take1115 · 发表于 2017-8-8 14:58:04

很赞的回答

wanglijlu123 · 发表于 2017-8-8 15:08:03

学习了

shishenren · 发表于 2019-5-10 09:20:57

ic_worker_man 发表于 2013-8-21 12:39
赞同是synopsys verification file的说法。使用Candence的LEC做形式验证，就无法加载这个文件的。 ...

你确定？

[求助] fm里面的svf是什么意思？