同样是formal验证 formality 和questa formal 有什么区别？
时间：10-02
整理：3721RD
点击：
不知哪位达人给介绍下：同样是formal验证 formality 和questa formal 有什么区别? 谢谢?
formality是等价性验证，questa formal是基于断言的验证
formality是等价性验证（这个只是两个design间的等价性验证），
questa formal是基于断言的验证(有点类似静态仿真）
支持小编的观点，对于形式化验证来说，一个属于等价性检验，一个属于模型验证
多谢小编