标签： verification formal-verification
为了比较3种形式验证工具，应该考虑哪些因素？ 例如：Jaspergold，Onespin，Incisive。
从我的小研究中，Jaspergold名列前茅。但我想在一个项目上自己做。
我注意到了诸如此类的一些观点 1.支持的语言（vhdl，sv，verilog，sva，psl等） 2.GUI 3.Capability（他们可以处理多大的设计） 4.评估周期数 5.表现（他们找到证据或反例的速度有多快）
我可以使用其他功能扩展此列表吗？
谢谢！