formality在验证时在Port上出现Aborted，从而导致Verification inconclusive

yansuanxiti

请教这问题 后来 怎么怎么解决的 ？

另外是否 可以 换用 LEC tool 来做比较，有没有经验的大佬讲讲 ？

Kevin_IC_dev

   

Horizon00 发表于 2016-5-29 15:31
发现了一种方法，尝试后发现出现了相同的错误，还有没有其他方法？？

请问该问题解决了吗，我也遇到相同的问题

gotoibm

设计里面有datapath，太难了没证明出来。