等价性检验中的逻辑调试技术研究

发布时间：2024-12-11 02:30

　　正确性和有效性是集成电路设计验证的最大挑战，然而由于电路规模和复杂度的日益增加，逻辑设计的错误几乎不可避免，一旦验证工具发现电路设计存在错误，设计人员必须进行错误定位和错误纠正。因此，研究开发一种工作效率高，搜索时间短，可扩展性好的错误诊断与纠错方法就成了集成电路设计验证的当务之急，而基于模拟的错误诊断与纠错技术是目前使用较多、效果较好的解决方案。 本文结合具体的项目，对逻辑调试中的符号方法和基于模拟的方法进行了系统、深入的研究，并对一些原有的启发式方法进行了改进提高，取得了部分研究成果。主要工作有： 1．研究了几种主要的错误诊断和纠错方法，并进行了分析、比较。针对基于可观察测量的诊断方法，进行了理论研究和分析证明，并在此基础上将概率思想初步运用在可观察测量法上。 2．将符号模拟技术应用到区域模型上，对基于区域模型的错误诊断方法进行了优化，并对该优化的实现过程进行了可行性分析，给出了具体的优化步骤。 3．将程序切片技术应用到实现电路所对应的硬件描述语言的调试中，并对硬件描述语言进行实验，结果表明该技术大大地缩...

【文章页数】：58 页

【学位级别】：硕士

【部分图文】：

图4.10匹配过程

在等价性检验中为确定规范和实现是否等价，通常采取的方法是先对规范和实现划分逻辑锥，通过对各个相应的逻辑锥的等价性检验来判断整个实现电路是否与所要求的规范等价，如图4.10所示。这个划分逻辑锥的过程就可以看作一个计算切片的过程，一个逻辑锥就可以看成是比较点的静态切片，如图4.n所示....

图4.n抽出匹配过程中的一个逻辑锥可作为一个切片来处理

一个逻辑锥就可以看成是比较点的静态切片，如图4.n所示，其中的比较点是设计人员感兴趣的点，所有影响比较点的逻辑门和信号组成一个切片。如果实现与规范不等价则需要在实现中定位错误点，因为逻辑锥的划分可以使得查找错误的过程集中在各个逻辑锥中进行，即在切片中查找错误，这样就极大地缩小了所....

图5.6调试模块平台的框图

传统的等价性检验工具逻辑调试部分中不能纠正、但在实现过程中又确实出现的错误。图5.6是逻辑调试模块的框图，主要包括以下几个部分:汗汗赞丫带_丫添彭馨茸蔚淋丫拼，一常常联机助用户帮与手册统设置配系与置基本命令集髓髓髓髓髓髓髓髓髓髓髓髓髓髓髓髓髓髓髓髓髓髓髓髓髓髓髓lll饭.熬粼獭....

本文编号：4016039