结合逻辑模拟和布尔可满足性的设计错误诊断方法

在集成电路设计验证与调试过程中,逻辑错误诊断工具通常会给出一定数量的候选错误区域,然后通过特定的算法尽可能多地减少候选区域,以方便错误的准确定位。在此提出一种结合模拟与布尔可满足性（SAT）的错误诊断方法．用于提高错误诊断准确性。该方法首先使用模拟方法对候选的错误区域逐一进行判断,对于不能由模拟方法判别的候选区域,使用基于SAT的形式化方法进一步判断。针对ISCAS’85电路的实验结果表明,该方法具有较高的错误诊断准确性和效率。     

符号模拟电路中的错误诊断设计方法

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

ICAI开发工具的设计

本文讨论一个综合智能计算机辅助教学(ICAI）开发环境设计中的知识描述结构，教学模式，教学策略，教学心理模型，素材分析与生成以及错误诊断等主要问题．这些设计思想的总体支持多种ICAI系统的诸教学模式，教学策略及各种知识的描述和利用．     

精彩课堂,不容“错”过

在学生学习数学的过程,错误是常见的.细细"品味"这些错误,错因是多样的:审题能力差,不能理清题意;数学知识"先天不足",不能充分提取应用;解题条理不清,长期积"陋"成"习",……,其中任何一种原因,都将影响他们的后续学习.那么,如何处理这些错误呢?实际教学中,很多     

基于符号模拟的电路中错误诊断方法研究

错误诊断是在逻辑芯片中预测潜在错误点的过程.为了快速有效地诊断电路中的错误,提出一种将符号模拟技术应用到基于区域模型的错误诊断法上的新思想,具体方法是通过对要诊断的电路进行区域划分,然后利用符号模拟方法依据两种测量标准对各个区域候选者进行可疑度的等级排序,从而对电路中所含错误进行判断.可疑度越高的区域,其作为错误候选者的可能性越大.该方法利用符号模拟技术,不需要对向量空间进行穷尽的列举,因而在空间和时间上是有效的.     

一种改进的通信有限状态机的错误诊断方法

目前对于通信状态机的研究已经很广泛,但对于通信状态机的错误诊断方法的研究不多,已有的问题模型都是输出错误和转换错误。为了更好地将错误诊断与实际相结合,本文在一般的通信有限状态机模型上,新增了一种不可执行的情况,并在传统的问题模型中新增一种转换未执行错误的问题模型。在假设单个错误的情况下,提出了一整套新的错误诊断算法,算法通过分析症状信息进行分步检测,并利用可疑转换下一步输入输出和用例的转换序列等信息来定位出单个错误。最后,文中给出一个实例,详细描述了算法的诊断过程。     

基于UIO测试序列的错误诊断算法

唯一输入输出(Unique Input Output)测试序列是协议测试中常用的一种测试序列,在一个已有的错误诊断算法基础上,结合UIO测试序列的一些特点,该文提出了一种应用于UIO测试序列的错误诊断算法。该算法充分利用了UIO测试序列给出的判定消息,及测试结果中可能的错误转换后的输入/输出消息,从而能高效完全地诊断单个错误。最后用实验数据给出了该文算法和原始算法之间的比较结果。     

基于有限状态机的错误诊断算法

基于有限状态机的协议的一致性测试问题已经得到了广泛的研究。在检测到错误后,如何诊断错误是一个很重要的问题。该文在有限状态机模型和单个错误的假设下,提出了一种新的错误诊断算法,该算法利用已经确定正确的转换信息以及可疑转换的下一个输入/输出对的头状态集合等信息来高效地诊断单个错误。文中给出了与已有的错误诊断算法的比较结果,并且用一个具体的实例来详细描述本文提出的算法。     

一种改进的基于SAT的多错误诊断算法

改进了二种组合电路设计错误诊断DED（Design Error Diagnosis）算法。它使用多可满足性问题（SAT）求解技术，通过对布尔可满足解计数来实现对多个逻辑错误的诊断定位。改进了电路诊断架构，新架构的合取范武表述所使用的变量和子句数目大为减少；通过多种启发武方法，避免了不必要的操作，使算法在时间和内存上保持有效性。