论文部分内容阅读
符号模拟电路中的错误诊断设计方法错误诊断是集成电路验证后期一个非常重要的阶段，它帮助设计者在一个错误芯片中预测错误点，因此可以减轻整个调试过程中的工作量。经过许多年的研究工作，组合电路的错误诊断正趋于成熟和实用化。这些方法主要分为两类：基于模拟的方法和符号方法。基于模拟的方法在每个错误向量对电路的模拟中，通过过滤掉非错误点而使含有错误点的区域逐渐被限定下来。符号方法不用明确列举错误向量，而是主要依赖于二叉决策图BDD，