TMAX testcoverage之remove_faults *匹配

最新推荐文章于 2024-06-18 18:14:42 发布
最新推荐文章于 2024-06-18 18:14:42 发布
阅读量136 收藏 1
点赞数
文章标签： 基带工程 fpga开发 云计算
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/myx_mike/article/details/132184346
版权

跑TMAX ATPG，testcoverage很低，想把不需要ATPG测试的逻辑剔除不计算在ATPG testcoverage，通过remove_faults命令来剔除这些逻辑cell，但cell太多如何通过*号匹配批量完成？

remove_faults不能直接get_cells 使用*匹配，只能通过foreach_in_collection的方式：

1. 直接带cell hierarchy 匹配，比较精准一些，不至于溢出到其他逻辑。

2.  使用-filter的正则表达式匹配，可以匹配更宽的范围

 注：注意其中的get_attribute的那行，是整个get_cells的关键

myx_mike
关注
  • 0
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
DFT ATPG test coverage 分析与提高--1
weixin_46833341的博客
03-18 1175
按照ATPG 故障模型，可以粗略的分析test coverage 丢失原因
matlab 波形匹配算法,波形匹配函数怎么用？
weixin_39732825的博客
03-17 1418
function [tmin,tmax,zmin,zmax] = boundary_matchwave(indmin,indmax,t,x)% 一种自适应波形匹配端点延拓法% 输入参数说明: indmin 极小值地址序列% indmax 极大值地址序列% t 时间序列(时序)1:length(x)% x 时间序列(值)%% 输出参数说明: tmin 极小值地址序列% tmax 极大值地址序列% z...
DFT ATPG test coverage 分析与提高--2
weixin_46833341的博客
03-19 620
Test compression 导致的ATPG test coverage 损失
可测试性设计技术：ATPG篇 Fault Classes（1）
weixin_44150473的博客
10-06 1014
使用ATPG时，工具会根据检测到故障的方式或无法检测到故障的原因将故障进行分类。每个fault都有唯一的名字和两个字符的代码。默认情况下fault会设定在library model的输入和输出端口，可以通过设定set_internal_fault on使得fault可以设定在library model内部的门电路输入输出端口。
Tessent scan & ATPG(8) Debug low test coverage(低测试覆盖率的原因及debug方法)
旺旺家族的传说
08-29 6300
如何利用工具debug测试覆盖率低的原因
在TMAX simulation里什么是 “unload 2“ ?
ciscomonkey的博客
10-17 449
文章目录 什么是unload 2？其实做DFT的人，在sim的时候都会见到这个log信息，我之前就产生过疑惑了，只是在周围同事，也没人思考这种问题。 正如下图所示： 在最后一只pattern pattern 4的时候开始出现unload 2（T=5400ns V=55） 这是指的是这只pattern调用了多次 load_unload 我们可以看看如下图所示的pattern： 如下图所示，在最后一支pattern 4中，分为了两部分： 一部分是pattern 4 另一部分是 end 4 unload 可以看
TMAXug ATPG Design Flow
ciscomonkey的博客
04-01 2530
文章目录如何启动tmax运行脚本 本篇博客介绍TMAXug系列的 ATPG Design Flow ATPG process是一个产生测试向量的过程，让ATE设备能够识别到正确的电路与fault 电路。 产生tmax，要产生ATPG需要三个文件：Netlist、Library Models、STIL procedures（SPF） 如何启动tmax运行脚本 tmax -shell spec_command_file.cmd 基本的脚本如下： set_messages log last_run.log -
Tmax & WGL
Kingbeful的专栏
05-12 7786
from http://wmct.blog.sohu.com/108377876.htmlTetraMAX使用注意事项 1.在*.spf文件中的扫描状态的初始化过程，即是使系统进入到扫描测试状态的JTAG信号输入流程必须放在“test_setup”过程中，否则生成的测试激励在测试中可能会产生无法匹配错误，从而导致扫描过程出错。2.TetraMAX中的GSV分析工具非常有用。使用GSV可
FIB统计信息文件fib_triestat
redwingz的博客
11-12 874
如下fib_triestat文件的内容。 # cat /proc/net/fib_triestat Basic info: size of leaf: 48 bytes, size of tnode: 40 bytes. Id 10: Aver depth: 1.66 Max depth: 2 Leaves: 3 Prefixes: 3 Internal nodes: 2
tmax_ug.rar_ATPG_DFT_TMax
09-24
DFT用于ATPG的工具usrguide
TMAX脚本，配合readme使用，快速实现DFT仿真
03-11
tmax tcl脚本
TMAX资料集合
04-04
学习TMAX资料学习TMAX资料学习TMAX资料学习TMAX资料学习TMAX资料学习TMAX资料学习TMAX资料学习TMAX资料
tmax_ug.pdf
07-16
TetraMAX ® ATPG User Guide Version L-2016.03-SP2, June 2016 The TetraMAX ATPG User Guide describes TetraMAX ATPG usage and methodology. TetraMAX ATPG is used to check testability design rules and to ...
TMAX debug
01-24
synopsys TMAX: Tips For Simulation Debug, ATPG Pattern Validation
电源电压过冲
程序猿徐师兄的博客
05-16 3305
当然加入TVS也是有讲究的，其中最重要的便是它的额定工作电压，越靠近我们所在的电压轨电压越好。由于适配器线中寄生的串联电感、AC 适配器输出端电容板子端输入电容，在适配器的热插拔的过程中，会给对应的电容进行充电，而其电压的过冲大小取决于线与板的寄生电感、寄生电阻、电容等。可以清晰知道，这个措施是简单有效的。电容：I=C*du/dt。
基于肤色模型的人脸识别，基于野火FPGA ZYNQ开发板
最新发布
weixin_43431185的博客
06-18 851
YCrCb也称为YUV，主要用于优化彩色视频信号的传输。与RGB视频信号传输相比，它最大的优点在于只需占用极少的频宽（RGB要求三个独立的视频信号同时传输）。其中“Y”表示明亮度（Luminance或Luma），也就是灰阶值；而“U”和“V” 表示的则是色度（Chrominance或Chroma），作用是描述影像色彩及饱和度，用于指定像素的颜色。其中，Cr反映了RGB输入信号红色部分与RGB信号亮度值之间的差异。而Cb反映的是RGB输入信号蓝色部分与RGB信号亮度值之间的差异。
基于Nios-II实现流水灯
2301_79795551的博客
06-15 977
这让我感到非常兴奋和满足，因为我不仅实现了预期的功能，还学到了很多实用的知识和技能。在设计过程中，我需要考虑硬件和软件之间的协同工作、资源的合理分配以及性能的优化等方面的问题。Nios II包括三种产品：Nios II/f（快速）、Nios II/s（标准）和Nios II/e（经济），分别对应不同的性能需求和FPGA使用量。分配中断号：在”IRQ”标签栏下点选”Avalon_jtag_slave”和 IRQ 的连接点就会为”jtag_uart”核添加一个值为 0 的中断号。加入Apply 后，Run。
军用FPGA软件 Verilog语言的编码准测之触发器、锁存器
qq_34895681的博客
06-18 436
标准准则分为强制准则和建议准则，强制准则在Verilog编程中应该遵循，建议准则在Verilog编程中可参考执行。本次分享 触发器、锁存器 的国军标verilog语言标准准则。EDA工具：ISE、Vivado、Quartus II。语言 ：Verilg HDL。注：如不能连接到数据端口或者复位端口等。注：基本逻辑门包括与门、非门和或门等。
数组索引必须为正整数或逻辑值。 出错 btfwendu3 (第 63 行) Qw = rho_i*Cp*V*(T(i-1)-T(i-2))/dt;
06-08
这个错误可能是因为在第一次循环中，`T(i-2)`的索引为负数，因为`i`的初始值是1，所以`i-2`是负数。可以在循环开始之前将`T(1)`和`T(2)`都初始化为`Tin`，这样就可以避免这个错误。修改后的代码如下： ``` % 初始化温度和湿度向量 T = ones(size(t))*Tin; T(1:2) = Tin; RH = ones(size(t))*RHin; % 循环计算温度和湿度 for i = 3:length(t) % 外部温度和湿度 Tout_i = Tout; RHout_i = RHout; % 光照强度 Q = I*A*(1-alpha); % 气体密度 rho_i = rho*(T(i-1)+273.15)/(Tin+273.15); % 能量平衡方程 Qh = rho_i*Cp*V*(T(i-1)-Tout_i)/dt; Qs = sigma*A*(T(i-1)^4-Tout_i^4)/dt; Qe = rho_i*ET*18*V*(611*exp(17.27*T(i-1)/(T(i-1)+237.3))-RH(i-1)/100*611*exp(17.27*Tin/(Tin+237.3)))/dt; Qp = rho_i*E*2.45*V*(RH(i-1)/100-RHout_i/100)/dt; Qg = k*A*(T(i-1)-Tsoil)/dt; Qw = rho_i*Cp*V*(T(i-1)-T(i-2))/dt; Qf = Q*cosd(theta)/dt; Qr = rho_i*Cp*V*(T(i-1)-Tin)/dt; Qin_i = Qh+Qs+Qe+Qp+Qg+Qw+Qf+Qr; % 生长模型 Tave = (T(i-1)+Tin)/2; if Tave < Tmin kT = 0; elseif Tave > Tmax kT = 1; else kT = (Tave-Tmin)/(Tmax-Tmin); end R = k1*(1-exp(-k2*I))*exp(-k3*Tave)*kT; % 更新温度和湿度 Tin_i = Tin + Qin_i/(rho_i*Cp*V); RHin_i = RHin + R*(RHin/100)*(RHsoil-RHin)/dt; % 记录温度和湿度 T(i) = Tin_i; RH(i) = RHin_i; % 更新初始温度和湿度 Tin = Tin_i; RHin = RHin_i; end % 绘制温度随时间变化的曲线 plot(t/3600,T) xlabel('时间（小时）') ylabel('温度（℃）') title('温室温度动态模型') ``` 这个修改应该能够解决索引错误问题。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值