TURBO51嵌入式微处理器功能验证.pdfVIP

第 2期 微 处 理 机 NO．2 2010年4月 MICR0PROCESSORS Apr ，2010 · 大规模集成电路设计、制造与应用 · TURBO51嵌入式微处理器功能验证 吴晓非 (电子科技大学，成都 610041) 摘 要：首先介绍了TURBO51嵌入式微处理器的基于分支预测和动态执行结构设计与设计 背景及 目前验证的发展状况，即形式验证、模拟仿真和硬件加速仿真，然后介绍了TURBO51设计 验证所采用的步骤和每个阶段的任务及通过准则，即首先同步定义文档功能时序设计及验证策略， 再进行RTL仿真并达到覆盖率和代码检查并给出覆盖率结果，然后进行 FPGA验证，最后进行门 级仿真。给出了错误的累计过程，显示TURBO51的设计验证中错误收敛快，在RTL仿真前已排除 大部分严重错误，FPGA验证前 已排除全部严重错误和99％的其它错误 ，确保 了TURBO51的一次 流片成功。但另一方面，在验证中使用配置约束的自动随机指令序列还需加强。 关键词：8051；微处理器设计；功能验证；验证覆盖率；嵌入式微处理器 DOI编码 ：10．3969／j．issn．1002—2279．2010．02．002 中图分类号：TP302 文献标识码 ：B 文章编号：1002—2279(2010)02—0005—05 FunctionaIVerificationofTURBO52EmbeddedMlcrOprOcessOr WU Xiao—fei (ChengduWeststarChips，Ltd，Chengdu61004I，China) Abstract：Inthispaper，inthefirstplaceitfigureourthemajorverificationchallengeforTURBO51 isthepredictionandout——of——orderpipelinebasedarchitecture．thenitSHOWStheverificationstrategyof TURBO51whichtakesstepsofallthreemajorstepsinverificationofcurrentmainstreammicroprocessors， formalverification，RTL and simulation，FPGA verification respectively and gate— levellastly．The code—coveragereport，erroraccumulativechartanderrordistributionindifferentverificationstagesare alsogiveninthepaper．Owingtoallthesecorrectand properverification measuresequipped，allsevere errorsandover99％ errorshasbeenfixedpriortoFPGA verification and securestheone——time——sue—- cessfully—tape—outofTURBO51．But，theautomatictestvectorbasedverificationmannerisneededto beenhancedinthefuturework． Key words：805I；Microprocessorarchitecture design；Functionalverification，Code— coverage； Embeddedmicroprocessor 指令级多