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

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

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 3102|回复: 5

[讨论] formality中:出现X态导致比对失败

[复制链接]
发表于 2021-10-29 15:24:42 | 显示全部楼层 |阅读模式
666资产
本帖最后由 zhalvin 于 2021-11-5 08:10 编辑

问题: 在formal verify时,由于retention cell在power down时输出X态,导致X态传输,比对fail,需要添加什么样的约束可以自动验证通过
环境:RTL吃的是综合前的UPF文件,netlist吃的是DC吐出来的UPF文件。

.

发表于 2021-10-29 16:49:31 | 显示全部楼层
后来加的,你不控制retention的信号case住不可以吗
发表于 2021-10-29 16:51:48 | 显示全部楼层
还有,formality应该也可以带上upf,这样工具能够自动识别貌似,你可以试试
 楼主| 发表于 2021-11-4 08:01:17 | 显示全部楼层
设置ISO_EN为常数,比对通过。虽然比对通过了,还在debug为啥需要设置这个约束。
 楼主| 发表于 2021-11-4 08:10:07 | 显示全部楼层
设置ISO_EN为常数,比对通过。虽然比对通过了,还在debug为啥需要设置这个约束
发表于 2024-5-23 17:42:57 | 显示全部楼层
同问
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

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

×

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

GMT+8, 2024-11-23 20:13 , Processed in 0.015953 second(s), 5 queries , Gzip On, Redis On.

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