等价性检查

等价性检查就是看两个design是否等价。针对的是同一个design的不同实现阶段。还有可以针对内部状态不match情况下的等价性检查,比如经过retimed, pipeline重排后的design。


No data available
On this page: