RTL vs DC后的netlist 做fm时svf是不是必须的【已解决】

jiazhang · 发表于 2015-5-6 15:36:18

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

x

本帖最后由 jiazhang 于 2015-5-10 19:32 编辑

RTL vs DC后的netlist，做fm的时候不加svf是不是更严格一些；但是不加svf时，大部分情况下FM都会failed

djhme · 发表于 2015-5-6 16:08:52

svf要加的

icfbicfb · 发表于 2015-5-6 19:41:15

必须加，帮助你通过的，

xwwwjy · 发表于 2015-5-6 20:00:03

要加的，svf

jiazhang · 发表于 2015-5-10 19:31:40

回复 3# icfbicfb
恩多谢！但总感觉加上的话有点“作弊”嫌疑！

wxqy_anita · 发表于 2020-9-30 09:40:21

简单逻辑不需要。复杂的设计才需要。

zhangyang370281 · 发表于 2020-10-5 20:57:44

svf并不是起到作弊作用的，只是提供了rtl到netlist的一些guide，比如change name ,constant reg等等，建议读读svf文件

spauls · 发表于 2020-10-7 17:44:43

Use SVF for Formal verificaiton

mosvelpro · 发表于 2023-11-22 16:45:59

zhangyang370281 发表于 2020-10-5 20:57
svf并不是起到作弊作用的，只是提供了rtl到netlist的一些guide，比如change name ,constant reg等等，建议 ...

你好，svf用什么文本软件看啊，vim和emas都是乱码

zhangyang370281 · 发表于 2023-12-11 20:57:14

mosvelpro 发表于 2023-11-22 16:45
你好，svf用什么文本软件看啊，vim和emas都是乱码

读取svf做formality验证时，在formality目录下会生成一个svf.txt的文件，这个就是svf的文本格式文件

[求助] RTL vs DC后的netlist 做fm时svf是不是必须的【已解决】