关于形式验证

小螺号

求助各位大佬，数字后端的形式验证怎么做呀？

看到的教程大部分都是dc综合出的svf文件和rtl进行formality
pr后的网表和dc综合后的网表是怎么进行形式验证的呀？
还是先导入dc的svf文件吗？

kk2009

PR后的跟syn后的直接比较就可以了。