关于
(0.120.4)
The MIT License (MIT) Copyright © 2023 Jordan GAZEAU
Keyboard shortcuts
+
Show current page QR code
Close modals
Show website information
Show shortcuts
Go to homepage
Find on website
Collapse/Uncollapse sidebar
Collapse/Uncollapse table of contents
Go to the top of the page
Go to the bottom of the page
Print current page
折叠
等价性检查就是看两个design是否等价。针对的是同一个design的不同实现阶段。还有可以针对内部状态不match情况下的等价性检查,比如经过retimed, pipeline重排后的design。
No data available