3) test pattern generation
测试模式生成
1.
A TRL-based(total reconvergence line) BDD(binary decision diagram) learning heuristics is presented in this paper to improve the efficiency of test pattern generation for combinational circuits based on the Boolean satisfiability(SAT) method.
提出了基于总会聚点的有序二叉决策图(BDD)学习方法,用以提高使用布尔可满足性方法的组合电路测试模式生成系统的性能。
4) Test code generation
测试码生成
6) ATPG
自动测试模式生成
1.
The theorem and conditions on identifying undetectable faults can be acquired by applying combinational ATPG to ILA in sequential circuits; and the conditions are given for faulty circuit.
对时序电路的迭代逻辑阵列(ILA)施加组合ATPG(自动测试模式生成),可得到不可测故障识别的定理和条件,其条件针对故障电路给出。
补充资料：HP-241B色带打码机/HP-30手动打码机
适用材料：
塑料薄膜PT、PE、PVC、OPP、KT、铝箔、饮料瓶商标；各种塑料复合材料、塑料袋、纸（不干胶、卡片）、皮革、布；包装容器袋、塑料制品；电子元件外壳。
工作原理及结构特点：
采用热打印带代替油墨打印，采取特殊的活字装卸换字结构，可在任何软包装材料上打印。印字清晰，不易擦掉；卫生干净，无油墨污染之优，是一种经济卫生的打印方式。
HP-241技术参数：
最高速度：70-120次/分 可调
打印间距：任意
打印行数：1-3行
电 压：220V±10% 50Hz
功 率：200W
热打印带宽度：25-35mm
HP-30技术参数：
电 源：220V/50Hz
功 率：≤40W
尺 寸：225×200×155mm
重 量：2.5kg
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条