针对小时延缺陷的测试通路选择方法研究

来源 :中国科学院研究生院 中国科学院大学 | 被引量 : 0次 | 上传用户:tianzhihen1234
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着集成电路工艺特征尺寸的不断降低,工艺偏差、串扰和电源噪声等导致了电路中存在大量的小时延缺陷,如何选择出合适的测试通路集合检测出这些小时延缺陷导致的电路时延失效是非常重要的。在小时延缺陷模型下,为了提高测试通路集合对小时延缺陷的检测能力必须考虑通路之间的相关性,其核心问题是在考虑可测试性的基础上,如何快速的计算通路相关性并以此进行通路选择。本文从通路相关性入手,研究了针对小时延缺陷的快速测试通路选择方法。本文的主要工作和创新有:   1.提出了一种快速的基于图划分的测试通路选择方法。   基于蒙特卡洛仿真的测试通路选择方法虽然能够计算通路相关性,但其效率较低,不适用于大规模或者含有较多候选关键通路的电路。本文在其基础上采用分而治之的策略,也就是将原始电路通过独立集分割和割点分割划分为若干基本子电路,将原始电路的测试通路选择问题转化为每个基本子电路上的测试通路选择问题,提高了测试通路选择的效率。针对基准电路的实验数据表明,相比于典型的基于蒙特卡洛仿真的测试通路选择方法,本文方法的计算时间降低了约1个数量级,并且选择出来的测试通路集合对小时延缺陷的检测能力几乎相当。   2.提出了一种快速的基于集合交集估算的测试通路选择方法。   统计时延模型和统计定时分析方法的发展为采用快速的概率分析方法而非蒙特卡洛方法来计算通路相关性提供了基础。基于给定的统计时延模型,本文首先将测试通路选择问题转化为最小集合交集的问题。以统计定时分析方法为基础,本文提出了一种快速估算N条通路同时满足时延约束的概率的方法,并以此为基础采用贪心法进行测试通路选择。针对基准电路的实验数据表明,相比于典型的基于蒙特卡洛仿真的测试通路选择方法,本文方法的计算时间降低了1~2个数量级,同时选择出来的测试通路集合对小时延缺陷的检测能力十分接近。   3.提出了一种快速的可测关键通路集合生成方法。   在给定时延阈值下寻找决定电路最大时延的可测通路集,即全局可测关键通路集,是前述两种测试通路选择方法的基础。目前常用的基于深度优先搜索的全局可测关键通路集合生成方法效率较低,其瓶颈在于调用ATPG/SAT求解器的次数过多。本文在其方法基础上通过分析电路结构规律和搜索过程中的规律,提出了预处理、严格的松弛量检查、直接扩展、局部冲突蕴含检查以及智能跳转等策略来减少ATPG/SAT求解器的调用次数,从而加速了全局可测关键通路集合的生成。针对基准电路的实验数据表明,相比于目前典型的基于深度优先搜索的全局可测关键通路集合生成方法,本文方法的计算速度平均提高了约8倍。   4.提出了一种快速的基于子电路抽取的电路延迟计算方法。   计算电路的延迟,也就是电路最长可敏化通路的延迟,是时延测试中的一个基础问题。目前典型的基于电路展开的电路延迟计算方法采用了在展开电路上逐次猜测电路延迟并调用SAT求解器验证的策略,此方法在电路规模较大和(或)延迟模型精度较高时会因展开电路的规模太大而效率较低。本文在此方法的基础上,通过分析展开电路输出端约束并抽取相关子电路来加速电路延迟计算的求解过程。另外,本文提出了抽象电路的概念,并利用基于抽象电路学习得到的子句集合加速了每次猜测电路延迟的求解速度,进而加速了电路延迟的求解速度。针对基准电路的实验数据表明,相比于目前典型的基于电路展开的电路延迟求解方法,当延迟模型精确到小数点后一位时,本文方法的计算速度平均提高了约7倍。
其他文献
字符串是很多编程语言都包含的数据类型,而且字符串在实际程序中被广泛使用,比如web应用程序。字符串约束求解是对操作字符串的程序进行静态分析与验证的基础。目前主流的字符
伴随着软件的普及和功能的增强,软件规模逐渐增大,复杂度不断提高,软件成本迅猛增长,软件失效可能造成的负面影响也越来越大。因此,如何保证和提高软件可靠性成为业界最关心
目前3G的无线性能得到了较大的提高,但是在满足用户需求等领域,还有很多局限。现在对未来通信系统的要求已经超过现有网络的承载能力,寻找突破性的网络结构势在必行,于是LTE
如今,协议测试在保证协议实现正确性方面发挥着越来越重要的作用。在传统的协议测试环境下,测试用户需要自己开发或者购买已经开发好的测试工具,还需要将测试工具与被测设备
近年来,云计算不论是在国内还是在国外都受到了越来越多的关注。而Hadoop则被认为是当前主流的、使用最广泛的云计算开源平台。作为Hadoop的首选底层存储系统,HDFS(Hadoop Di
面向服务的体系架构(Service-Oriented Architecture, SOA)已经成为分布式软件系统架构的主流趋势。Web服务(Web service, WS)是SOA的主要实现方式之一。由于Web服务存在于开
负载均衡是服务器集群化中最为重要的环节,与负载均衡技术发展早期相比,现代负载均衡所面临的外部环境发生了许多变化,其中最为重要的两个变化是:1)计算机处理器从单核变为多核;2
随着3G应用的逐步推广,应用软件的主流平台正在由个人电脑向手持智能终端转变,随之而来的是软件平台的移植,软件的功能没有发生大的变动,改变的只是较少的几个模块,针对新的
在数据中心和云计算架构中,虚拟化技术在资源管理,服务器整合,提高资源利用率等发挥了巨大的作用。在虚拟化环境中,如果要保证高资源利用率和系统性能,必须有一个高效的内存管理方
随着IT行业竞争的日益白热化,如何提供更好的互联网应用服务成为业界关注的重点。正是在这种背景下,出现了基于IMS多媒体通信终端系统,它不仅方便了企业的远程通信,而且极大