导读:本文包含了设计错误诊断论文开题报告文献综述及选题提纲参考文献，主要关键词:有限状态机,一致性测试,测试序列,错误诊断
设计错误诊断论文文献综述
亓泽超[1]（2011）在《协议一致性测试序列生成及错误诊断算法设计》一文中研究指出通信协议是计算机网络和通信网络中各种通信实体或进程之间相互交换信息所遵守的一组规则。协议测试保证协议实现的正确性,协议一致性测试是协议测试中各部分的基础,而测试序列生成技术和错误诊断技术是一致性测试的关键技术。本文以有限状态机为基础,结合现有测试序列生成技术的优点,提出了新的优化测试序列生成算法。该算法在待测转移后附加唯一输入输出序列以确保转移到达正确预定状态,并重新构建有限状态机对应的有向图,通过对该图的遍历得到优化的测试序列。错误诊断算法在协议测试中发现错误时,进行错误定位。本文在Ghedamsi错误诊断算法的基础上,提出了新的诊断算法,该算法充分利用了协议测试的中间结果以及唯一输入输出序列的特性,大大缩减了算法的复杂度。(本文来源于《西安电子科技大学》期刊2011-03-01）
曾松伟,李光辉[2]（2010）在《结合逻辑模拟和布尔可满足性的设计错误诊断方法》一文中研究指出在集成电路设计验证与调试过程中,逻辑错误诊断工具通常会给出一定数量的候选错误区域,然后通过特定的算法尽可能多地减少候选区域,以方便错误的准确定位。在此提出一种结合模拟与布尔可满足性(SAT)的错误诊断方法,用于提高错误诊断准确性。该方法首先使用模拟方法对候选的错误区域逐一进行判断,对于不能由模拟方法判别的候选区域,使用基于SAT的形式化方法进一步判断。针对ISCAS′85电路的实验结果表明,该方法具有较高的错误诊断准确性和效率。(本文来源于《现代电子技术》期刊2010年06期）
吴洋,唐璞山[3]（2006）在《基于布尔可满足性的电路设计错误诊断算法》一文中研究指出提出了一种组合电路设计错误诊断算法,该算法结合传统基于模拟的方法和可满足性问题求解技术,在不依赖于故障模型的条件下实现对电路逻辑错误的诊断定位.提出了基于布尔可满足性的增量式电路诊断方法,通过对可满足解依据电路结构信息筛选分级,提高了多错误诊断定位的分辨率和准确性;并提出多项启发式方法,避免了大量不必要的操作,使算法在时间和内存上保持有效性.实验结果表明,利用形式验证的技术来导向模拟的过程,抓住了高复杂度的多错误定位问题的特征,提高了电路错误诊断的效率.(本文来源于《计算机辅助设计与图形学学报》期刊2006年09期）
吴洋[4]（2006）在《基于布尔可满足性的电路设计错误诊断》一文中研究指出集成电路设计过程中，随着电路规模和复杂度的增大，设计错误变得越来越常见且难于处理。已有的验证算法和技术都是基于确保设计正确性的原则，回答电路实现和规格说明是否等价一致，其包括电路模拟和形式验证——属性检查与等价验证。所有这些方法只能探测设计错误的存在性，而无法指出电路不等价的原因。尽管验证工具越来越趋于高效且自动化，但数字电路的设计错误诊断和纠错依然是人工主导的、耗费时间和资源的过程。本文研究了基于SAT的电路诊断，讨论在错误的电路实现中如何定位设计错误源头，提出一种新的组合电路错误珍断方法。本文提出的方法不依赖于故障模型，从而适合各种类型的设计错误，存与模型无关的条件下依靠电路元件的非决定性行为来实现对电路逻辑错误的诊断定位。该方法是混合半形式的，结合了传统基于模拟的方法和多可满足性问题求解技术。它首先使用形式的SAT诊断，在无损的条件下提供给局部错误模拟一个规模较小的怀疑列表，从而减小了错误模拟的负担，我们判定仅仅是那些能够纠正每一个给定错误输入矢量的信号才被认为是潜在错误源头。该方法提出增量式的诊断流程，将复杂的多错误诊断问题分步化解为错误基数较小的子问题，从而实现诊断问题的“化难为易”。该方法是基于布尔可满足性的，考虑到每个输入测试矢量反映的错误数目差别，通过对诊断电路插入严格约束和松散约束两种性质的额外逻辑单元搭建诊断平台，将诊断问题编码转化为可满足性问题，将修改的SAT算法作为计算引擎应用到电路诊断领域。方法使用多项启发式方法，通过对可满足解的分级排序，提高了多错误诊断定位的分辨率和准确度，在时间和内存上保持了有效性。实验结果表明，由于基于SAT的诊断保证返回一个正确的解，所以利用形式验证的技术来导向模拟的过程，抓住了高复杂度的多错误定位问题的特征，提高了电路错误诊断的效率。(本文来源于《复旦大学》期刊2006-09-20）
设计错误诊断论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
在集成电路设计验证与调试过程中,逻辑错误诊断工具通常会给出一定数量的候选错误区域,然后通过特定的算法尽可能多地减少候选区域,以方便错误的准确定位。在此提出一种结合模拟与布尔可满足性(SAT)的错误诊断方法,用于提高错误诊断准确性。该方法首先使用模拟方法对候选的错误区域逐一进行判断,对于不能由模拟方法判别的候选区域,使用基于SAT的形式化方法进一步判断。针对ISCAS′85电路的实验结果表明,该方法具有较高的错误诊断准确性和效率。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
设计错误诊断论文参考文献
[1].亓泽超.协议一致性测试序列生成及错误诊断算法设计[D].西安电子科技大学.2011
[2].曾松伟,李光辉.结合逻辑模拟和布尔可满足性的设计错误诊断方法[J].现代电子技术.2010
[3].吴洋,唐璞山.基于布尔可满足性的电路设计错误诊断算法[J].计算机辅助设计与图形学学报.2006
[4].吴洋.基于布尔可满足性的电路设计错误诊断[D].复旦大学.2006