-
1.
形式验证 -
https://baike.baidu.com/item/形式验证
![]()
形式验证Formal Verification，是指从数学上完备地证明或验证电路的实现方案是否确实实现了电路设计所描述的功能。
分为等价性验证、模型检验和定理证明等。
-
2.
等价性验证，等价性检查 -
https://baike.baidu.com/item/形式验证
![]()
等价性验证，等价性检查，主要是检查两个门级网表之间是否一致，保证网表处理后不会改变电路的功能，或者保证网表能正确地实现RTL代码所描述的功能，或者保证两种RTL描述逻辑一致。
等价性检查通过对比两个描述来检测它们的等价性。
-
3.
模型检验，模型检查 -
https://baike.baidu.com/item/形式验证
![]()
模型检验，模型检查，主要是检查RTL代码是否满足规范中规定的一些特性。
-
4.
定理证明系统 -
![]()
定理证明系统，一般分为自动定理证明系统和交互定理证明系统，交互定理证明系统对硬件验证来说最有价值。
第一页
上一页 第 1 / 1 页
下一页
最后一页 共 4 条