关于
(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
折叠
Theorem proving 是一种验证RTL功能和model是否match的手段。它使用的是纯数学方法推导。
一文了解定理证明器 ACL2
使用 ACL2 进行硬件验证
No data available