关于
(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
折叠
模型检查主要是检查RTL是否满足设计规范。一般使用基于断言的验证语言。相较于仿真,模型检查可以 100% 覆盖设计中所有可能出现的情况。在工业应用中的挑战在于需要根据规范写好断言。
No data available