formality验证显示Aborted hard (too complex),怎么解决？

desertpoplar · 发表于 2014-7-23 12:14:42

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

小弟使用formality验证两个不同方式实现的浮点乘法是否完全一致，使用rtl与rtl比较，最终显示

----------------------------------------------------------------------------------------
Matched Compare Points    BBPin Loop BBNet    Cut Port    DFF    LAT TOTAL
----------------------------------------------------------------------------------------
Passing (equivalent)          0    0    0    0    6    0    0    6
Failing (not equivalent)    0    0    0    0    1    0    0    1
Aborted
  Hard  (too complex)       0    0    0    0    30    0    0    30
****************************************************************************************

请问这个问题怎么解决？

orlye · 发表于 2014-7-23 21:26:13

这个问题不久前我才问过……
貌似没什么好的办法……
http://bbs.eetop.cn/thread-451558-1-1.html

[求助] formality验证显示Aborted hard (too complex),怎么解决？

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

相关帖子

站长推荐 /1