论有限回溯测试模式产生方法

来源 :第八届全国容错计算学术会议 | 被引量 : 0次 | 上传用户:xbh88
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文首先剖析了FBTPG方法的实质,然后在深入分析三种ATPG系统的C-B曲线的实验数据的基础上,提出故障模拟对测试生成的综合调节效应理论,为FBTPG方法的有效性提供了理论依据。最后以ISCAS-85和ISCAS-89电路为基础,给出了FBTPG与随机测试生成、确定性测试生成和商用ATPG系统flextest的实验比较结果,从而论证了FBTPG方法处理超大规模时序电路的有效性。
其他文献
该本叙述了一种广义FDTD算法,运用同时具有电导率和磁导率S的修正麦克斯韦方程式建立起FDTD方程式,引入尺寸比例因子和尺寸扩展因子使空间网络沿三个轴向的大小既具有不相等亦具有变扩展
该文主要完成了高超声速球头的耦合计算,研究分析了耦合计算中的热结构非定常传热、温度分布的变化特征和规律,探索了热结构在方面的特征和规律,以便为可重复使用热结构打下基础
该文根据差分格式的余项效应分析理论,利用数值耗散和数值色散效应的调节方法,非常巧妙而简捷地改造不稳定的格式为稳定的,改进某些格式的数值计算性能和品质,以提高其应用价值;特
该文提供了一个二元的,并且给出了它的精确解的方程组模型。通过对它的模拟实验和精确解的比较,可以更有效地改造、改进和选择合理的差分格式。同时,还可以利用模型方程直接进行
通过CAD技术,采用模拟式有限单元法对过热器异种钢接头热应力分布进行研究分析,证实变截面异种接头能有效降低焊接处热应力.
导出了带油槽或油孔的有限轴颈轴承非稳态油膜力及其各种导数的计算公式,研究了这些导数的性质,并发现了油膜力与阻尼导数之间的一个重要关系,对带有两个轴向槽的轴承,在多种无量
盆栽试验表明,锰肥能促进大豆(GLycine max(L.)对磷的吸收和体内DNA、RNA的形成;磷肥同样也能促进大豆对锰的吸收,锰磷配合施用有利于大豆干物质的形成。田间试验表明,锰磷最
基于文献的随机副近算法和收敛性分析,证明了具有有限二阶矩噪声的随机副近RM算法的收敛性,峄于测量噪声仅要求有有限的二阶矩和渐近独立性,而不要求测量噪声是独立的随机序列或是