基于有界延迟模型的延迟测试算法研究

来源 :湖南大学 | 被引量 : 0次 | 上传用户:ankeng
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
延迟测试用于检测电信号在一条路径上传播时间过长引起的故障。路径延迟故障模型是被常用的精确模型,但它面临的问题是电路中有大量路径,全部测试是不现实的,所以本文采用的策略是选择一部分路径进行测试来判断电路是否正确。另外基于转换故障模型,电路中有可以影响电路时序行为的小延迟,要选择通过故障点的最长路径才能保证检测到小延迟故障,所以路径选择是延迟测试中很重要的一个问题。本文基于bounded delay模型选择通过每一个门的k(k1)条最长路径。bounded delay模型定义了路径结点的延迟上下界,相比于过去的单位延迟模型能更精确反映实际电路延迟分布情况。选择的路径不但要是最长的,而且要是可测的,只有可测的路径才会影响电路的时序行为。在bounded delay模型下,本文选择非强健可测路径,不可测路径通过对路径的敏化进行判断。本文通过定义u线及b-f对记录不可测信息,来避免路径选择过程中的重复敏化,这加速了路径选择的过程。通过使用bounded delay模型,一些在其它延迟模型下可测的故障变为不可测,bounded delay模型实际上提供了更多的不可测信息,有利于选择真实可测的路径。将选择出来的路径针对小延迟故障进行测试生成,但测试向量集过大,这就需要进行测试压缩。两个小延迟故障对应的两条传播路径如果敏化条件不冲突则就可以用一个测试向量检测。为了在合理的时间内进行高效压缩,压缩前本文使用结构化分析来判断两条路径冲突的可能性,这通过定义影响锥进行度量,如果两条路径的影响锥重叠得越少,它们冲突的可能性也越小,于是可以优先选择进行压缩的尝试。本文对影响锥的计算基于对可控性的度量,使得对冲突的判断更准确,另外在压缩过程中进行了故障模拟,这些措施加速了压缩过程,提高了压缩比。针对ISCAS’89和IWLS’05电路的实验结果证明了本文所提出的方法的高效性。
其他文献
采用溶剂辅助风味蒸发法提取玉兰香、蜜兰香和桂花香3 种香型凤凰单丛茶的挥发性成分,运用气相色谱-质谱(gas chromatography-mass spectrometry,GC-MS)联用技术结合气相色谱-嗅
<正>近些年来,越城区委、区政府认真贯彻落实省委、省政府"两创"总战略和市委、市政府"创业创新、走在前列"战略部署,相继被中国科协命名为"全国科普示范区"、省市县党政领导
<正>首先回顾心理学领域对同一性概念的一些新的观点——一生的发展及多重同一性,然后从多种理论取向及建构还是发现这两个角度探讨了同一性理论整合问题,并了解提出的关于同
衔接是篇章语言学中的一个重要概念,在英语语篇中,衔接起着举足轻重的作用。然而,在中国的英语写作教学中,衔接的重要性却未引起人们足够的重视。研究发现大多数学生的作文缺
仝小林教授运用中医理论辨治痛风,认为其病理机制在胃肠,基本病机为中满内热浊停,临床上注重病位辨证。急性期多祛风除湿、活血止痛,慢性期多虚实夹杂,随证施治。在强调传统
文章对中医"气血"学说中的免疫学思想进行了探讨。认为在中医的"气血"学说中,包括现代免疫学免疫系统中的诸多免疫细胞和免疫分子,也贯穿着免疫防御、免疫稳定和免疫监视等免
在中国不断发展的过程中,党的建设是中国革命的法宝,也是我国现代化建设取得巨大成就的根本保证。随着改革开放的推进,社会的发展,共产党组织建设在整个社会的发展中所占比例
移动学习(M-Learning)是D-Learning和E-Learning学习方式之后教育发展的新的阶段。学习者能在任何时间、任何地点实现自由学习,摆脱了时间和空间的束缚。由于WEB学习服务站点
近年来以硅为原材料制作先进的微通道板成为国内研究的热点,相比传统微通道板,硅微通道板具有孔径更小,噪声因子更小,增益更高,寿命更长等特点,而且其应用范围广泛,不但应用
南宋陈元吉夫妇合葬墓发现于1966年1月,位于福州市东郊金鸡山西坡。墓葬早年被盗,由福建省博物馆(现更名为福建博物院)清理发掘。出土石墓志、石俑及动物模型、石宝伞、石牌