请问formality对比两个版本的netlist

zero_0

没有逻辑重构就不用，比如传统的PR工具routing完跟init netlist比不用吃svf就能轻松pass

zero_0

   

kyaaaa 发表于 2024-1-5 16:53
谢谢！我现在是两个版本RTL的scan mode不一样，有一个是在RTL内部增加了一个模块的scan IO（赋值常数）。 ...

有可能只是映射的名字不一样，对formality来说，不吃svf很难比过复杂电路，而这里两个netlist没有继承关系也无法吃svf

1. 要不试一下conformal lec能不能比过；2. 不然就做三次对比，分别是 RTL1 vs. RTL2, RTL1 vs. NETLIST1, RTL2 vs. NETLIST2