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

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

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 8778|回复: 10

[求助] 带DFT的设计在做FM形式验证时要作何特殊处理

[复制链接]
发表于 2013-8-20 08:13:42 | 显示全部楼层 |阅读模式

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

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

x
我现在做一个带DFT的设计,FM出来有很多的Error。请问诸位带DFT的设计在做FM形式验证时要作何特殊处理?
发表于 2013-8-20 09:12:49 | 显示全部楼层
回复 1# qing_icefire

set_constant 0 test_se
 楼主| 发表于 2013-8-20 20:45:27 | 显示全部楼层
回复 2# sjtusonic


   谢谢!之前我验证rtl和综合之后的网表,只在读入网表后设置其Scan_constant为0,就通不过FM.现在把ref和impl都加上了设置Scan_constant为0的语句,就没错了!
 楼主| 发表于 2013-8-20 20:45:46 | 显示全部楼层
回复 2# sjtusonic


   谢谢!之前我验证rtl和综合之后的网表,只在读入网表后设置其Scan_constant为0,就通不过FM.现在把ref和impl都加上了设置Scan_constant为0的语句,就没错了!
 楼主| 发表于 2013-8-20 20:45:53 | 显示全部楼层
回复 2# sjtusonic


   谢谢!之前我验证rtl和综合之后的网表,只在读入网表后设置其Scan_constant为0,就通不过FM.现在把ref和impl都加上了设置Scan_constant为0的语句,就没错了!
发表于 2013-8-24 00:39:44 | 显示全部楼层
需要具体分析ref中用这个Scan_constant 做了些什么,fm时都constrain到0是否合理
发表于 2015-10-27 16:23:11 | 显示全部楼层
需要具体分析ref中用这个Scan_constant 做了些什么,fm时都constrain到0是否合理
发表于 2018-12-27 16:43:18 | 显示全部楼层
mark mark
发表于 2018-12-27 21:43:20 | 显示全部楼层
回复 7# hnulht789


   你好,请教个问题, fm的时候报了很多latch的错,其实是ICG的门控。我用了 set verification_clock_gate_hold_mode any,加入了svf,但是还是fail。
发表于 2020-9-30 09:50:14 | 显示全部楼层
不应该的呀
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

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

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

GMT+8, 2024-11-5 17:22 , Processed in 0.023593 second(s), 8 queries , Gzip On, Redis On.

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