数字电路的位级并行ATPG研究

摘要

随着半导体存储器工业技术、深亚微米工艺技术及芯片生产工艺技术的快速发展，电路的工艺尺寸不断减小，电路的集成度、复杂度与日俱增，使得高集成度电路的测试变得尤为困难。显然传统的测试生成算法对于目前的集成电路来说已经不再充分有效甚至适用，因此测试生成的研究具有十分重要的理论价值和实际意义，它的主要目的就是找到新颖、高效的测试生成算法。　　早在六十年代单固定型故障的测试生成问题就已经得到解决了。但是，理论分析证明，自动测试生成所涉及的问题及其相关的子问题几乎都是NP完全问题，所以，加速测试生成，提高测试生成质量一直是人们关注的问题。　　论文专注于组合电路中建立模型为单固定故障的测试向量生成。为了减小测试向量生成时间和提高故障覆盖率的目的，重点研究了以下内容：数字电路测试的基本理论、故障模型及建模、测试向量质量的评价指标、可测性度量方法及自动测试向量生成的一些主要算法，尤其详细介绍了一种确定性测试生成位级并行的自动测试向量生成算法—SWK测试生成算法，并将该算法与可测性测度结合起来，对该算法进行改进。在原型算法和改进型SWK测试生成算法的基础上，设计了一个在 Windows操作系统下运行的用来研究组合电路测试向量的生成平台。该平台首先读入基准电路网表文件对其进行分析，然后用改进前后的SWK测试生成算法为电路生成测试向量并且进行故障模拟，最终给出测试向量生成时间及测试集的故障覆盖率，通过对所得的实验数据进行比较分析可知改进后的算法具有可行性和实用性。

目录

封面

声明

中文摘要

英文摘要

目录

第一章 绪论

§1.1 课题研究背景及意义

§1.2 测试基本原理

§1.3 ATPG算法发展现状

§1.4 论文的研究内容及章节安排

第二章 数字电路测试生成的基本理论

§2.1 测试生成的相关概念

§2.2 故障模拟

§2.3 主要的测试向量生成算法

§2.4 本章小结

第三章 SWK测试生成算法

§3.1 引言

§3.2 相关定义

§3.3 SWK测试生成算法实现

§3.4 本章小结

第四章 可测试性分析与SWK测试生成算法

§4.1 可测性测度SCOAP

§4.2 SWK测试生成算法及其改进

§4.3 测试生成涉及的有关文件和数据

§4.4 测试生成的总体框架及流程

§4.5 实验结果

§4.6 本章小结

第五章 总结与展望

§5.1 总 结

§5.2 展 望

参考文献

致谢

作者在攻读硕士期间主要研究成果