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

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

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 7521|回复: 14

[求助] 有关TetraMAX读入的STIL文件

[复制链接]
发表于 2018-1-12 00:23:17 | 显示全部楼层 |阅读模式

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

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

x
新手做DFT,问个可能是小白的问题。。

我用DFTC插扫描链,生成了一个带扫描链的综合网表design_scan_syn.v、一个DEF文件design_scan_syn.def,和一个STIL文件design_scan_syn.spf。


然后,我用design_scan_syn.v和design_scan_syn.def去做布局布线生成版图和网表design_pr.v。


然后,我把design_pr.v和DFTC输出的design_scan_syn.spf一起读进TetraMAX做ATPG,覆盖率可以,仿真也没啥问题。


现在有一个疑问:design_scan_syn.spf是和design_scan_syn.v对应的,能不能用它来为design_pr.v做ATPG呢?
发表于 2018-1-12 09:43:56 | 显示全部楼层
不能,综合网表和版图网表只是功能等价,并不是完全相同。而且通常在布局布线生成版图过程中扫描链会重新排列,从而影响ATPG的结果
发表于 2018-1-12 10:43:49 | 显示全部楼层
可以,spf文件是指导TMAX去做trace chain, drc和ATPG,里面定义的各procedure或者clock control就是dft designer想法的具体体现,是让TMAX知道用户想做成什么样的ATPG,因为spf文件里的定义是对inputs操作,pr前与后从top看inputs是一样的,还可以用。向量仿真对于pr后网表就不能用了,需要新跑向量再仿真,pr的网表和syn的网表做LEC,注意忽略由于scan reorder引起的Q->SI上的non-equivalence。
 楼主| 发表于 2018-1-13 21:55:49 | 显示全部楼层
回复 2# qianxun_qiu


   谢谢回复。
我想您说的应该是基于综合网表的ATPG结果不能直接给布局布线的网表用,我同意您的看法。不过我想咨询的是综合工具输出的STIL文件是不是也能给布局布线网表做ATPG。我看了一下DFTC输出的.spf文件,里面没有涉及网表内部的信息,所以我想只要布局布线前后设计端口没有变,应该是可以用的。
 楼主| 发表于 2018-1-13 21:59:46 | 显示全部楼层
回复 3# ustc12


   谢谢回复:)
发表于 2018-8-26 21:07:18 | 显示全部楼层
可以用的,如果你的pr网表和spf不对应了反而才不太对!
发表于 2018-12-26 18:48:04 | 显示全部楼层
回复 3# ustc12


   你好,请教下fm有没有命令可以忽略scan reorder引起的不等价?
发表于 2018-12-27 13:22:39 | 显示全部楼层
回复 7# fangwang85


  不知道,没用过,可能没有。因为scan部分的逻辑reorder后就是不等价的,情况还比较多样。这个不等价没有关系的,只要case设好保证func部分逻辑等价,scan部分的逻辑不关心等价。scan部分的逻辑主要看ATPG和前后仿没有问题就行。
发表于 2018-12-27 13:43:28 | 显示全部楼层
回复 8# ustc12


    好的,谢谢回复,我后防遇到点问题,不知道大神有没有遇到过,反标sdf的时候报
SDF Warning : Cannot find  timing check $setup(posedge SN, posedge RN,...) for SETUPHOLD, 一个寄存器两个异步复位 SN,RN。
但是仿真是过的,不知道这个是什么引起的?
发表于 2019-1-4 12:30:54 | 显示全部楼层
回复 3# ustc12


   你好,我用DFTC吐出的spf文件和pr后网表做ATPG(在pr过程中做了scan reorder的操作),这样是可以的吧?我在做形式验证的时候,工具自动将test_mode和scan_enale设为0,并没有出现Q到SI的no-equivalence。 先谢谢了
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

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

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

GMT+8, 2024-3-28 22:45 , Processed in 0.027575 second(s), 6 queries , Gzip On, Redis On.

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