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

《等价性检验中逻辑调试技术的研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、兰州大学硕士学位论文等价性检验中的逻辑调试技术研究姓名：齐芳申请学位级别：硕士专业：计算机软件与理论指导教师：徐德启20070501兰州大学硕士学位论文摘要正确性和有效性是集成电路设计验证的最大挑战，然而由于电路规模和复杂度的日益增加，逻辑设计的错误几乎不可避免，一旦验证工具发现电路设计存在错误，设计人员必须进行错误定位和错误纠正。因此，研究开发一种工作效率高，搜索时间短，可扩展性好的错误诊断与纠错方法就成了集成电路设计验证的当务之急，而基于模拟的错误诊断与纠错技术是目前使用较多、效果较好的解决方案。本文结合具体的项目，对逻辑调试中的符号方法和基于模拟

2、的方法进行了系统、深入的研究，并对一些原有的启发式方法进行了改进提高，取得了部分研究成果。主要工作有：1．研究了几种主要的错误诊断和纠错方法，并进行了分析、比较。针对基于可观察测量的诊断方法，进行了理论研究和分析证明，并在此基础上将概率思想初步运用在可观察测量法上。2．将符号模拟技术应用到区域模型上，对基于区域模型的错误诊断方法进行了优化，并对该优化的实现过程进行了可行性分析，给出了具体的优化步骤。3．将程序切片技术应用到实现电路所对应的硬件描述语言的调试中，并对硬件描述语言迸行实验，结果表明该技术大大地缩小了搜索错误点的范围。4．设计了一个基于模拟的

3、逻辑调试模块开发的整体流程、架构及核心算法，’给出了所用的文件描述和数据结构，并对相关的研究内容作了分析介绍。关键词：逻辑调试，错误诊断，纠错，符号模拟，切片技术兰州大学硕士学位论文AbstractHowtomakethedesignofintegratedcircuitcorrectandvalidisthebiggestchallenge，asthescaleandcomplexityofVLSIcircuitdesignincrease，logicdesigncITOrsbecomeinevitable．Onceaverificationtool

4、findsSomecrrorsintheintegratedcircuitdesigns，errorlocationandcorrectionmustbedonebydesigners．So，itisnecessarytoresearchanddevelopallapproachforerrordiagnosisandcorrectionwithgoodexpansibilitythattheworkingefficiencyishigll，andsearchingtimeisshort．Thesimulation-basedapproachisana

5、ppropriatesolutioncurrently．Inthisthesis，thesimulation-basedapproachesandthesymbolicapproachforlogicdebuggingarcstudiedsystematically．Meanwhile,weputforwardimprovementstosomeheuristicalgorithmsbasedOntheprimaryapproachesandgetsomeconclusionsandachievements．Themainworkisasfollow：

6、1．SeveralmainapproachesforerrordiagnosisandcorrectionarestIIdied．analyzedandcompared．Theoreticalresearchandanalysisproofofdiagnosisapproacharegiven,basedonwhich,probabilisticideaisusedtotheobservablemeasuremem．2．Weapplysymbolicsimulationtechniquetotheregionmodelandoptimizetheerr

7、ordiagnosisapproachofbasedregion-model．Feasibilityanalysisandstepsofoptimizationprocessarcgiven．3．Weapplytheslicingtechniquetodebuggingofcorrespondedhardwaredescriptionlanguage．Andtakeexperimenttothehardwaredescriptionlanguage，theresultsshowthatthetechniquecanrcducetheregi∞which

8、containserrorsgreatly．4．Wedesignthewholeflowcha