请高手讨论下这两个问题吧

虽然这样的问题很泛泛，但还是想问问
1. DC综合后网单仿真和RTL仿真结果不一致，可能是一些什么原因导致的？
我只遇到过一种情况即是时钟设置太快。
2. Astro后提取网单仿真和RTL仿真结果不一致，可能是一些什么原因导致的？
感觉出了这两个问题很不好找原因啊，尤其是Astro导出的网单只有一个module，根本无从
查错....
请版上高手不吝赐教！

如果不是timing的问题的话没那么很有可能是testbench的问题

没有红叉信号
是计算输出不符
Astro后仿真和综合后仿真结果不符

综合后仿真意义不大，formal可以保证。加了sdf的后仿真，结果不符应该是约束不全，一般来说应该有红叉。如果没有，估计和你的bench有关系了，前提是formal通过了。