这个工具怎么样？

这个工具怎么样？
Jasper Design Automation公司的形式化验证工具JasperGold
比formality如何？

也许这个工具更牛，但是IC业从某种程度上是个保守的工业，formality有无数tapeout项目证明其可靠性，就凭这一点哪怕它不是那么好用，但是也值得信赖啊。

其实jasper业界用到蛮多的，而且它也不是做equivlence check的

形式化验证不是只有等价性检查的，还有更重要的是model-checking，这个工具应该就是做model-checking的，应该是业界公认的比较好的工具。
和S家对比的话，应该是和magellan比较。