组合电路中逻辑错误诊断法研究.docVIP

组合电路中逻辑错误诊断方法研究 　　摘要：介绍了近些年出现的几种错误诊断方法，它们在传统方法的基础上利用启发式对原有方法进行了不同程度的改进和提高，产生了较好的诊断结果。?? 中国论文网 /4/viewhtm　　关键词：诊断；路径追踪；模拟；可满足性?? 　　中图分类号：TP306文献标志码：A 　　文章编号：1001－3695(2008)01－0114－03 　　 　　超大规模数字集成电路的设计周期通常开始于对系统基本行为的刻画。它采用硬件描述语言(HDL)编写，又称为行为级描述。这种描述被转换为寄存器转换级(RTL)表示，然后RTL表示被综合为一个门级实现。为保证产品的性能及其正确性，最后要对系统设计进行优化和验证。虽然综合与优化过程中采用了自动化的CAD工具，但电路设计者仍然需要手工修改网表以获得特定的优化限制，或对规范作出一些修改以提高某些设计方面的要求（如性能），又或者由于规范的变动需要对实现进行修改。随着电路规模和复杂度的不断增加，人工的再综合过程极易引入错误。当验证工具显示实现不符合规范时，设计者需要对电路中的错误进行诊断；然后基于诊断结果对错误进行纠正。这对提供一个正确的VLSI产品起着决定性作用。一种快速且有效的错误诊断方法不仅能够缩短产品面市的时间，而且可以降低产品成本，提高产品质量。由于时序电路的复杂性，目前存在的错误诊断方法大多是针对组合电路的。近些年出现了一些错误诊断方法，它们是在早些年基本方法的基础上分别采用不同的启发式对算法进行改进和提高，产生了较好的诊断结果。Boppana等人[1]介绍了一种基于Xlists模拟的诊断算法，并使用符号变量来提高诊断结果。A.Veneris等人[2]引入了通过测试向量模拟的算法，并使用一个可简化的交叉图对错误空间进行缩小。L. Anand等人[3]使用基于区域模型的诊断算法。其中区域模型可以扩展，以进行多错误及简单时序电路的错误诊断。Li Guang hui等人[4]介绍了基于验证技术的错误诊断方法，该方法将三值模拟(0,1,x)与布尔可满足性技术相结合来快速、有效地消减错误空间，提高诊断结果。A.Smith等人[5]介绍了一种基于SAT的解决方法来进行错误诊断，利用一个已存在的SAT引擎，该算法对存在多错误的电路诊断具有较好的效率和实用性。本文主要针对其中一些具有代表性的算法作较详细的介绍。?? 　　 　　1基本逻辑错误诊断方法?? 　　 　　符号方法主要采用符号处理技术，如BDD(binary decision diagram)，对实现中的错误进行诊断[6，7]。假设电路中存在一个错误，符号方法首先在实现中寻找这样一个内部信号：该信号必须满足单修正的条件，通过改变这个内部信号的函数从而修改整个实现。将信号f用一个新的布尔函数代替的过程就称为信号f的再综合。一个单修正信号的意思是，实现完全可以通过再综合这一个内部信号f使得整个电路的性能和规范保持一致。符号方法可以得到一个比较准确的结果，但是由于信号函数的表示使用BDD，有可能导致内存爆炸。对于含有多个错误的实现，符号方法可以同时对多个信号进行再综合来纠正整个电路，但是需要对较多的候选对进行检查。因此具有较高的计算复杂度。譬如对一个含有两个错误的实现，当电路中具有k个信号时需要对k(k-1)/2个候选信号对进行检查。?? 　　模拟是最常用的错误诊断方法[8，9]。按照诊断结果的准确性，模拟方法又可以分为锥体交集法、敏感过滤器法、反向传播(backward propagation,BP)法、可观察性测量(observability measure,OM)法等。其中锥体交集方法是在假设电路中只有一个错误存在的情况下，通过对测试向量的模拟，将实现的主要输出划分为正确输出和错误输出两部分，则错误信号f必定出现在错误主要输出的扇入锥的交集中。该方法不能产生好的诊断结果，需要改进以提高准确度。敏感过滤器方法提出了定位错误区域的一种过滤法。其基本思想是：如果一个错误向量v不能察觉到内部信号f和错误主要输出I??k之间的不符，则在向量v下的错误输出I??k不能通过改变f来纠正。一个错误向量可以解释为使得实现的输出响应与规范的输出响应不匹配的向量。对于一个给定的错误向量，反向传播方法利用一个路径追踪程序从错误输出信号反向追踪到主要输入来确定一个潜在的可疑区域；然后再使用启发式将潜在可疑区域逐渐缩小。可观察性测量方法是在反向传播方法基础上对算法准确度的一个改进提高。它是在反向传播的过程中给传播路径中的每个信号赋予一个权值，以表示信号成为错误点的可能性。BP和OM方法都主要依赖于一个叫做路径追踪的程序。它是基于关键路径追踪算法在S.Venkataraman等人[10]的错误诊断中开发的一种信号线标记算法。以后出现