synopsys的工具formality，是如何找逻辑锥的

wateralways · 发表于 2012-4-19 14:40:07

您需要登录才可以下载或查看，没有账号？注册

x

用formality做形式验证的基本原理是给逻辑锥灌相同的输入，比较逻辑锥的输出是否相同。
请问，工具是如何找到逻辑锥的？

zhq101213 · 发表于 2012-4-20 08:22:43

先compare match 应该就是你说的寻找逻辑锥。然后才verify啊

[求助] synopsys的工具formality，是如何找逻辑锥的