请教Formality的RTL到netlist比较的问题@！

gongxiao · 发表于 2013-8-30 16:16:33

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

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

x

各位大侠，我想请教两个问题：
1、使用Formality做形式验证的时候能否比较从RTL直接到最终的GDSII网表；
2、compile综合时采用增量编译，结果会产生3次netlist，我每次做的时候是RTL和第一次的netlist比较；第一次和第二次，第二次和第三次netlist分别进行比较，都使用了SVF，请问能否直接使用RTL和第三次的netlist进行比较，我试过将三次的SVF全部导入，但最终汇报Error，有没有这种做法？？

似水如烟 · 发表于 2014-1-16 15:14:10

ojnbtrgvefcdws吧

sunrisewu · 发表于 2014-1-22 15:06:55

1，没试过，我理解是不行。
2，可以，我试过，没问题。你方法可能有问题。

[原创] 请教Formality的RTL到netlist比较的问题@！

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

相关帖子

站长推荐 /1