为了比较 3 种形式验证工具，应该考虑哪些因素？例如：Jaspergold、Onespin、Incisive。
根据我的小研究，Jaspergold 名列前茅。但我想自己做一个项目。
我记下了一些要点，例如 1.支持的语言（vhdl、sv、verilog、sva、psl 等） 2.GUI 3.能力（他们可以处理多少大型设计） 4.评估周期数 5.性能（他们找到证据或反例的速度有多快）
我可以通过哪些其他功能扩展此列表？
谢谢！
为了比较 3 种形式验证工具，应该考虑哪些因素？例如：Jaspergold、Onespin、Incisive。
根据我的小研究，Jaspergold 名列前茅。但我想自己做一个项目。
我记下了一些要点，例如 1.支持的语言（vhdl、sv、verilog、sva、psl 等） 2.GUI 3.能力（他们可以处理多少大型设计） 4.评估周期数 5.性能（他们找到证据或反例的速度有多快）
我可以通过哪些其他功能扩展此列表？
谢谢！