找回密码
 注册

手机号码,快捷登录

手机号码,快捷登录

查看: 567|回复: 1

[原创] lec中由于乘法器引起的abort点

[复制链接]
发表于 2025-6-27 09:54:26 | 显示全部楼层 |阅读模式

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

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

×
工具遇到abort点卡死,有几百个abort
发表于 2025-6-27 10:14:02 | 显示全部楼层
大型乘加逻辑一致性本来仍旧是业界难题,只能通过综合文件辅助验证(比如dc的vsdc resources.rpt)高版本可以用cfm的recipe试试他的分析方法的排列组合

(Abort) Conformal_Abort_Diagnosis_Guide_231.pdf

344.97 KB, 下载次数: 12, 下载积分: 资产 -1 信元, 下载支出 1 信元

(Abort) Diagnosing_Common_Scenarios_of_Aborts_232.pdf

342.13 KB, 下载次数: 7, 下载积分: 资产 -1 信元, 下载支出 1 信元

(Abort) Solving_Aborts_with_Compare_Recipes_231.pdf

279.98 KB, 下载次数: 9, 下载积分: 资产 -1 信元, 下载支出 1 信元

回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

QQ|手机版|小黑屋|关于我们|联系我们|隐私声明|EETOP 创芯网 ( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2026-1-16 05:59 , Processed in 0.033169 second(s), 5 queries , Gzip On, Redis On.

Powered by Discuz! X3.5

© 2001-2026 Discuz! Team.

快速回复 返回顶部 返回列表