conformal验证DC综合后的网表
时间：10-02
整理：3721RD
点击：
如题。因为综合过程中会remove掉相关常值寄存器、悬空net等逻辑，如果用formality的话，可以读入综合过程中读入的svf文件来识别DC过程中的动作。但是如果采用conformal来做的话，如何处理，svf如何读入?
有答案了吗?我也想知道