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

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

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
12
返回列表 发新帖
楼主: screw

请教conformal中unreachable point的排除问题

[复制链接]
发表于 2012-10-1 18:29:47 | 显示全部楼层
very good data
发表于 2014-4-11 10:35:33 | 显示全部楼层
同问,LEC太复杂,有没有快速上手的资料或者实验啊?
发表于 2015-7-2 21:06:06 | 显示全部楼层
unreachable和EXTRA类型的unmap点,不会对Key point造成影响,对逻辑锥比对没有贡献。not mapped类型,则需要确认。否则通常会导致FAIL。
发表于 2015-7-2 21:09:41 | 显示全部楼层
以前用formality时,有很多其他报告可以帮忙发现设计缺陷。比如not compare  unmap,等等。刚开始用CONFORMAL有些不习惯,mapping report, nonequal,abort, 没了?
发表于 2018-11-8 02:22:27 | 显示全部楼层
有点复杂 支持
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

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

×

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

GMT+8, 2024-11-9 10:16 , Processed in 0.015783 second(s), 6 queries , Gzip On, Redis On.

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