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

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

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 3368|回复: 7

[求助] [formality] 关于svf 的几个问题

[复制链接]
发表于 2018-7-3 16:56:27 | 显示全部楼层 |阅读模式
100资产
本帖最后由 494693243 于 2018-7-4 17:32 编辑

在比对rtl 和 netlist 时,我用的formality 吃的dc产生的svf在这个过程中,formality.log 会报出:
Info: SVF Operation 973 (Line: 14427) - reg_merging. status:rejected并且最后出现faling points了

有哪位遇到过类似的情况,应该怎么解决 微信截图_20180703190026.png

最佳答案

查看完整内容

如果结果是success,就不需要理会;尽量DC和fm用同一个时间版本,否则经常会出现问题,需要人工干预
发表于 2018-7-3 16:56:28 | 显示全部楼层
如果结果是success,就不需要理会;尽量DC和fm用同一个时间版本,否则经常会出现问题,需要人工干预
 楼主| 发表于 2018-7-3 19:03:37 | 显示全部楼层
本帖最后由 494693243 于 2018-7-4 17:30 编辑

回复 2# syf1088


我用的DC 2017 版本 和 formality 都是2018  版本的也不行,这应该不是版本造成的,看起来是svf 中的rejected 造成的,那么这个问题我应该朝哪个方向思考呢
 楼主| 发表于 2018-7-4 17:30:54 | 显示全部楼层
自己顶起来
发表于 2021-8-15 22:27:57 | 显示全部楼层
最近也遇到了这个问题,蹲个坑
发表于 2022-9-8 17:16:51 | 显示全部楼层


你好,这个问题你解了吗,我最近也遇到相应问题
 楼主| 发表于 2022-9-9 14:35:45 | 显示全部楼层


jamesjie 发表于 2022-9-8 17:16
你好,这个问题你解了吗,我最近也遇到相应问题


没有,换了综合策略,不报了

发表于 2022-9-9 14:52:47 | 显示全部楼层


494693243 发表于 2022-9-9 14:35
没有,换了综合策略,不报了


好的,谢谢
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

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

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

GMT+8, 2024-3-29 13:10 , Processed in 0.026459 second(s), 7 queries , Gzip On, Redis On.

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