synopsys的工具formality，是如何找逻辑锥的
时间：10-02
整理：3721RD
点击：
用formality做形式验证的基本原理是给逻辑锥灌相同的输入，比较逻辑锥的输出是否相同。
请问，工具是如何找到逻辑锥的?
请问，工具是如何找到逻辑锥的?
先compare match 应该就是你说的寻找逻辑锥。然后才verify啊