设为首页收藏本站

eetop公众号

创芯大讲堂

创芯人才网

切换到宽版

手机号码，快捷登录

创芯云服务 : 创芯大讲堂 | 创芯人才网 | 数字IC职业培训 EETOP诚邀线上IC培训讲师!

搜帖子

EETOP 创芯网论坛 (原名：电子顶级开发网)»论坛 › IC 设计及制造（半导体、微电子） › 后端设计 › 后端讨论区 › formality 出现了一些unverified，请问大佬们是什么原因 ...

发新帖

查看: 489|回复: 7

[求助] formality 出现了一些unverified，请问大佬们是什么原因？

发表于 2024-10-10 11:32:50 | 显示全部楼层 |阅读模式

100资产

屏幕截图 2024-10-10 113100.png

屏幕截图 2024-10-10 113127.png

最佳答案

查看完整内容

是不是运算太复杂了

回复

发表于 2024-10-10 11:32:51 | 显示全部楼层

是不是运算太复杂了

EETOP创芯人才网职位发布入口

回复

发表于 2024-10-11 11:38:08 | 显示全部楼层

本帖最后由 lolina 于 2024-10-11 11:39 编辑

顶

回复

发表于 2024-10-11 17:56:31 | 显示全部楼层

没读入svf 文件？

回复

发表于 2024-10-11 19:00:39 | 显示全部楼层

执行report_unverified_points看一下

EETOP创芯人才网简历投递入口

回复

楼主| 发表于 2024-10-12 09:18:56 | 显示全部楼层

应该是计算太复杂，现在单独把模块综合，来进行验证

EETOP创芯人才网职位发布入口

回复

楼主| 发表于 2024-10-12 09:21:37 | 显示全部楼层

参考的https://ileonsun.github.io/how-to-pass-formal-check/

EETOP创芯人才网简历投递入口

回复

发表于 2024-10-12 10:53:55 | 显示全部楼层

感谢老板

EETOP创芯人才网职位发布入口

回复

发新帖

高级模式

B Color Image Link Quote Code Smilies

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

本版积分规则回帖后跳转到最后一页

关闭

站长推荐 /2

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

GMT+8, 2024-12-18 20:10 , Processed in 0.019805 second(s), 8 queries , Gzip On, Redis On.

eetop公众号

创芯大讲堂

创芯人才网

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