在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

EETOP 创芯网论坛 (原名:电子顶级开发网)

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 3389|回复: 3

[求助] Foemality遇到 loop问题,存在aborted points该怎么解决

[复制链接]
发表于 2018-2-3 15:13:53 | 显示全部楼层 |阅读模式

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

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

x
Foemality遇到 loop问题,存在aborted points该怎么解决,验证报告如下:

*********************Verification
Results *********************

Verification INCONCLUSIVE

(Equivalence checking aborted due to complexity)

   ATTENTION:  synopsys_auto_setup mode was enabled.

               See Synopsys Auto Setup Summary for details.

-----------------------------------------------------------

Reference design: r:/WORK/TOP

Implementation design: i:/WORK/TOP

1829 Passing compare points

686 Aborted compare points

0 Unverified compare points

----------------------------------------------------------------------------------------

Matched Compare Points    BBPin   Loop  BBNet   Cut    Port    DFF   LAT   TOTAL

----------------------------------------------------------------------------------------

Passing (equivalent)   
0        0    0      
0      2      1827       0  
1829

Failing (not equivalent)   
0        0       0              0       0  
0         0       0

Aborted

  Loop  (cycle-driven)               0        0        0               0       0       686       0     686

*******************************************************************************


验证结果如图:

formality错误.bmp


发表于 2018-2-4 20:30:23 | 显示全部楼层
先检查一下lint错误,存在combinational loop?
 楼主| 发表于 2018-2-6 09:54:45 | 显示全部楼层
回复 2# haoyz

loop是由于设计中的异步逻辑导致的,但在setup阶段做了以下设置,结果还是一样
set verification_asynch_bypass true
set verification_auto_loop_break false
发表于 2023-7-12 21:28:41 | 显示全部楼层
同问,请问群主解决了么
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐 上一条 /1 下一条

×

小黑屋| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2024-3-29 05:21 , Processed in 0.023005 second(s), 7 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
快速回复 返回顶部 返回列表