RTL与Genus出来的netlist 能否用formality做形式验证？

xiaopet · 发表于 2023-10-13 16:34:32

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

x

RTL与Genus出来的netlist 能否用formality做形式验证？

DC+LEC可以做形式验证，那么Genus+formality能行吗？

奋斗的小熊 · 发表于 2023-10-13 22:24:02

肯定可以的啊

xiaopet · 发表于 2023-10-16 09:16:22

zhaojingzb 发表于 2023-10-13 22:24
肯定可以的啊

请问下怎么操作么？formality做功能验证的时候会吃一个svf格式的文件，这个文件genus怎么生成？我尝试不用这个文件做了一个小项目，最后failed挺多的。

satans · 发表于 2023-11-24 17:54:33

别说genus综合的网表了，就是DC综合出来的网表离开了svf，formality 90%以上的概率都会fail

[求助] RTL与Genus出来的netlist 能否用formality做形式验证？