并行ATPG算法理论与原型系统设计技术研究

来源 :计算机工程与科学 | 被引量 : 0次 | 上传用户:a3321697
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
测试是超大规模集成电路(VLSI,Very Large Scale Integration Circuits)设计中不可缺少的重要环节。随着VLSI电路复杂性的增长,自动测试生成(ATPG,Automatic Test PatternGeneration)的时间开销已经成为VLSI电路设计的瓶颈之一。并行计算是解决这个问题的一种有效的可行办法。本文的研究内容正是面向非扫描同步时序电路的并行ATPG算法。 目前,制约并行ATPG算法实用化的关键原因是算法的可移植性。因此,我们首先提出了基于消息传递系统——并行虚拟机(PVM,Parallel Virtual Machine)的并行ATPG原型系统框架,并根据它构建了一个实验系统HappyTest。由于PVM良好的可移植性,使得基于这个框架开发的分布式存储并行算法基本能够避免针对不同体系结构的并行机而进行重复开发。 测试生成(TG,Test Generation)和故障模拟(FS,Fault Simulation)是构成ATPG系统的两个紧密相关的部分。由于目标任务不同,它们内在的并行性也不尽相同。在FS方面,本文深入研究了提高单机FS效率的方法。首先提出并实现了一个新的同步时序电路单机字级测试码并行FS算法,该算法与现有同类方法的不同在于,利用确定性G-F二值TG算法的每个故障测试序列之间的相对独立性,对测试码进行分解并动态组装,避免了对添加的同步序列的冗余模拟,效果较好。接着又开发了一个新的单机字级故障并行FS算法。该算法的创新在于扩充了现有的组合电路无扇出区划分方法,使之对时序电路适用,并把它与扇出源故障并行模拟和临界路径追踪方法相结合。实验表明,其效率比经典的字级故障并行FS算法有明显提高,且时间复杂性随电路规模增长曲线趋于平缓。在此基础上,深入研究了针对FS的测试码分解和故障分解两类并行策略。并设计了针对同步时序电路的基于单机字级故障并行FS算法的多机故障并行FS算法和基于确定性算法的多机测试码并行FS算法。从实验结果看,后者加速比明显高于前者,而前者的性能与近年国外发表的同类方法相当。 在TG方面,本文深入研究了基于故障分解、搜索空间分解和电路划分三种并行TG方法。首先,设计了一个用静态、动态相结合灵活控制故障划分方式以获得较好效果的故障并行TG算法。然后,提出了一个新的基于故障敏化模式分解的搜索空间并行TG算法。与国外同类方法相比,其优点是易实现,控制灵活,同步开销小,并行效果好。最后重点对电路并行方法进行了研究,提出了一种新的以触发器为核且消除大功能块之间反馈的宽度优先反向搜索同步时序电路划分方法。在此基础上,提出并设计了一个新颖的电路并行TG算法。该算法在获得一定加速比的前提下,可较大地缓解VLSI的ATPG对内存需求的矛盾。 在ATPG方面,本文认为TG和FS采用松耦合模式更利于并行ATPG算法在研发中快速融合各种并行策略且及时集成各种最新的串行TG和FS算法。较之紧耦合串行ATPG系统的并行化具有独特的优势。本文基于松耦合模式,以G-F二值TG算法和HOPE FS算法为基础,快速开发了一系列有效的并行ATPG算法,获得了良好效果。 国防科学技术大学研究生院学位论文 最后,我们对松耦合模式的并行ATPG算法进行了性能分析。分析表明,和传统的紧耦合模式的并行ATPG算法相比,松耦合模式的并行ATPG算法能够减少时间和存储开销。
其他文献
<正> 人教版的高中英语教材以全新的面貌,丰富多彩的图画,饶有趣味的课文,与学生生活密切相关的对话——呈现在我们的面前。如何以课文为载体,充分利用课堂教学这一主渠道,进
抗震设计的首要目标是为了防止建筑物倒塌,从而在地震时减少死亡的危险和对人以及靠近这些建筑物的伤害。由于破坏性地震是罕见的,按照经济的原则,建筑物的损坏是可以预期并避免
聚对苯二甲酸丙二醇酯(PTT)是由精对苯二甲酸(PTA)与1,3-丙二醇(PDO)聚合而成的聚酯产品,因其具备不变形、弹性好,综合性能优越等特点,确定了它广阔的应用领域和发展前景。通
目前人们通常单纯用增加临时变量和相关判断的方法,或者使用共享代码拷贝的方法来消除goto语句.但前一种方法会造成判定增加,语义分析困难;而后一种虽然使转变后的程序结构清
据估计,未来半导体技术仍将保持持续稳定的发展势头,可以预期未来的芯片上将集成巨大数目的晶体管。当前,如何利用这些晶体管实现更高性能的处理器是体系结构研究的热点,也是面临
本文提出了一种从面向对象数据库模式到关系数据库模式的映射及基于该映射的模式转换算法.以查询为例,说明了面向对象数据库中的特有语义仍能保留在转换后的关系模式中,而且
随着医疗体系的不断改革,医院财务管理体系也越来越复杂,传统的管理模式难以适应新医疗的发展。在此背景下,医院的财务管理人员必须进行相应的改革和创新,加强对管理会计的应
串匹配技术是多边形形状识别与分类的一种常用方法,它主要是寻找从一个串到另一个串的最小代价变换,计算变换的相似测度,最终完成目标对象与模型对象的匹配。但是,由于图象分割中存在的分割不一致现象,对属性串匹配的代价因子计算影响很大,实际上也严重限制了串匹配技术的应用。本文研究依据顶点演化规则,首先对目标物体施以两种演化变换——合并与生长,将目标对象递归蜕化成与模型边数相同的近似多边形,再进行等长循环属性
目的:分析固脊通督方辅助治疗老年骨质疏松性胸腰椎压缩性骨折的效果及对患者血清瘦素(Leptin)、Ⅰ型前胶原氨基端前胎(PΙNP)水平的变化。方法:将胸腰椎压缩性骨折患者112例