关于
(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
折叠
逻辑等价性验证(LEC)是一种用于比较两个逻辑表达式或电路是否在所有输入条件下产生相同输出的技术。其主要应用于数字电路设计和验证中,确保设计的正确性和可靠性。
逻辑等价性验证的核心在于确定两个电路或逻辑表达式在不同输入下的输出是否一致。若两者在所有可能的输入组合下均输出相同,则称这两者是逻辑等价的。
LEC Debug 指南
Formality 快速上手指南
Conformal 快速上手指南