同样是formal验证 formality 和questa formal 有什么区别？

chenxlchenxl · 发表于 2013-1-23 11:35:47

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

x

不知哪位达人给介绍下：同样是formal验证 formality 和questa formal 有什么区别？谢谢？

bffgot · 发表于 2013-6-25 10:07:05

formality是等价性验证，questa formal是基于断言的验证

hyperion007 · 发表于 2013-6-25 14:42:34

formality是等价性验证（这个只是两个design间的等价性验证），
questa formal是基于断言的验证(有点类似静态仿真）

meteoricwind · 发表于 2013-12-21 21:36:44

支持楼主的观点，对于形式化验证来说，一个属于等价性检验，一个属于模型验证

squirrel_216 · 发表于 2014-4-15 22:45:13

多谢楼主

[讨论] 同样是formal验证 formality 和questa formal 有什么区别？