论文摘要
集成电路被称为IC,是在硅板上集合多种电子元器件实现某种特定功能的电路模块,它是电子设备中最重要的部分,承担着运算和存储的功能。集成电路的应用范围覆盖了军工、民用几乎所有的电子设备,可以说集成电路是计算机业、数字家电业、通信等行业的“心脏”。随着微电子技术的发展,集成电路的规模越来越大,结构越来越复杂,传统的测试生成算法已不能满足要求,因此集成电路测试研究的重点主要集中在研究新的更加有效的测试生成算法和电路的可测性设计技术上。本论文主要研究数字集成电路的多故障测试生成算法及可测性设计技术,以提高算法的故障覆盖率、减少测试生成时间及减少测试矢量的产生和施加为研究目标,重点研究了以下内容:研究了基于布尔差分的组合电路测试生成算法,针对布尔差分算法需要进行大量的异或运算,提出了可不用异或运算,而是通过求解恒等式及约束条件来得到完全测试集的方法,此方法避免了大量的布尔差分运算。研究了多固定型故障的测试生成算法,该方法是将多固定型故障转化为单固定型故障来处理的。当目标故障数为n时,至多需插入n+3个门就可以将此多固定型故障转化为单固定型故障。转换前后的电路在功能上是等价,故障状态也是等价的。研究了基于结构的组合电路多故障测试生成算法——因果函数分析法,该方法主要面向电路的结构,一次性的计算即可找到检测全部电路的测试矢量。研究了九值算法及其改进算法在时序电路中的应用,它比一般的D算法在作D驱赶时要减少很多次无用的计算,此算法充分考虑了故障在重复阵列模型中的重复影响作用,大大减少了计算的工作量。研究了基于Reed-Muller模式的组合电路的可测性设计方法,该方法采用通用型测试集对电路结构或模块进行设计,用此种方法设计的电路不但可以方便的检测出单固定型故障,而且可以确定故障的具体位置,对于双固定型故障以及多固定型故障也可用此方法检测出来。针对症候群测试不需要产生测试矢量的情况,对电路的症候群测试进行了深入研究。传统的症候群可测性判定条件需要写出电路的逻辑表达式,对于大规模集成电路,按照传统的方式很难进行判断。本文推导出了一元症候群和二元症候群可测性判定条件的新形式,并由此推出了多元症候群的判定条件。利用该判定条件,既可直接进行多元症候群判定,不必写出电路的逻辑表达式,又可保证症候群可测。