retiming完的网表能和原rtl代码做formality check吗？
时间：10-02
整理：3721RD
点击：
RT。还能再读svf文件吗?需要加上什么设置吗?望高人指点。
答案是：能 。
答案是：能 。