【摘 要】
：
介绍了采用单变迁故障模型的时序系统状态组区别序列测试方法 ,通过选择状态组区别序列优化测试序列长度。这种测试生成方法比时序电路门级测试生成快得多 ,而且能达到很高的
【机 构】
：
四川大学电气信息学院!四川成都610065,电子科技大学CAT室!四川成都610054
论文部分内容阅读
介绍了采用单变迁故障模型的时序系统状态组区别序列测试方法 ,通过选择状态组区别序列优化测试序列长度。这种测试生成方法比时序电路门级测试生成快得多 ,而且能达到很高的故障覆盖率。
This paper introduces a sequential system state sequence discriminating sequence testing method based on the single transition fault model, and optimizes the length of the test sequence by selecting the state sequence distinguishing sequences. This method of test generation is much faster than sequential gate-level test generation and achieves high fault coverage.
其他文献
分析了并联式电液伺服系统中存在的几个问题,并运用机电一体化技术,通过改变输入信号、自适应控制油源压力、进行状态反馈等方法解决了系统中存在的往返速度不同;换向时有压
以稻谷壳水解液为原料,采用树状假丝酵母AS1.257(Candida arborea AS1.257),在罐体高径比为2.9和上升管与下降管的直径之比为6.6的外循环气升式生物反应器中发酵生产单细胞蛋
本研究采用共沉淀方法制备出四种催化剂 ,Cu Mn1 .36 OX、Ce/ Cu Mn1 .36 Ox、Au/ Cu Mn1 .36 Ox 和 Au-Ce/ Cu Mn1 .36 Ox.在 2 0 0℃时 ,对催化剂进行了 6h的氧气氛处理 ;
以廉价的高岭土碳热还原-氮化法制得的β-Sialon粉料为原料,用常规的制备工艺进行无压烧结,在1660℃下烧结出体积密度近3.2g/cm3,常温抗弯强度达400～500MPa的烧结材料.
依据文献计量学原理,对1990～1999年期间的论文作者群进行了统计、分析、归纳和研究,从中揭示出我国原子与分子物理学科研究的现状,作者所属系统的分布特点及其规律,确定了该刊
报道了 3 -芳氧甲基 /芳基 -4 -氨基 -5 -巯基 -1 ,2 ,4-三唑和芳酸在三氯氧磷作用下合成了 1 6个标题化合物。其结构经元素分析、IR,1H NMR和 MS确证。同时研究了反应条件。
采用径向测温方法和拟均相二维模型,对乙烯氧乙酰化合成醋酸乙烯环柱状催化剂在固定床中的传热特性按工业生产条件进行了测定,并考察了催化剂尺寸对传热性能的影响.对实验数
介绍了气相色谱 -卧管式微火焰原子吸收联用测定底泥中二乙基汞的新方法 .样品经EDTA处理后 ,以正辛烷萃取 ,离心分离有机相 ,浓缩后直接进样分析 .检出限为3.5×10 -11 g,RS
简要地介绍了1987年诺贝尔化学奖得主、法国化学家莱恩(Lehn)在定义超分子化学时所提出的化学信息论的概念 ,在审视有关化学信息论的近期发展中的一些问题的基础上 ,对Lehn提
在 Cu- Zn- Al三组份的 C2 0 7型联醇催化剂中 ,添加 2种适量的过渡金属氧化物研制的XC2 0 9型联醇催化剂 ,经 4 50℃热处理 5h后 ,CO转化率比 C2 0 7型提高 8.6个百分点 .XR