如何在两家不同EDA间做形式验证

trippa

逻辑综合用DC，形式验证用Formality。pr用Encounter来实现。如果用Formality来进行综合后的网表与pr后的网表的形式验证。该怎么做呢？Encounter下能有像ICC那样可以设置svf文件一样的文件来记录工具对网表的过程的信息吗？

icfbicfb

gate vs gate一般不需要svf辅助， pr前后  pass很请轻松的事情，

svf只能给synopsis工具flow用，  cadence是do文件，各有各家的格式

trippa

回复 2# icfbicfb


   谢谢版主。