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

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

gate vs gate一般不需要svf辅助， pr前后pass很请轻松的事情，
svf只能给synopsis工具flow用，cadence是do文件，各有各家的格式

谢谢小编。