rtl仿真与网表仿真不符，用什么工具能查出问题？
时间：10-02
整理：3721RD
点击：
rt?
形式验证工具，比较RTL代码和综合后的网表
formality！
先确认下网表仿真设定地有没有问题
肉眼。
2楼说的对，形式验证工具，formal
not formal only, STA is also necessary.
谢谢！
debussy调试！
电路仿真 or 形式验证 or STA
X-propagation Issues
我做一个mcu，形势验证通过了，但是网表仿真又没过，原因是组合逻辑太长，延时过大。这是怎么回事啊?
将网表的信号与rtl信号抓出来作对比