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

摘要：

首先介绍了TURBO51嵌入式微处理器的基于分支预测和动态执行结构设计与设计背景及目前验证的发展状况,即形式验证、模拟仿真和硬件加速仿真, 然后介绍了TURBO51设计验证所采用的步骤和每个阶段的任务及通过准则,即首先同步定义文档功能时序设计及验证策略,再进行RTL仿真并达到覆盖率和代码检查并给出覆盖率结果,然后进行FPGA验证,最后进行门级仿真.给出了错误的累计过程,显示TURBO51的设计验证中错误收敛快,在RTL仿真前已排除大部分严重错误,FPGA验证前已排除全部严重错误和99%的其它错误,确保了TURBO51的一次流片成功.但另一方面,在验证中使用配置约束的自动随机指令序列还需加强.

关键词：8051、微处理器设计、功能验证、验证覆盖率、嵌入式微处理器

所属期刊栏目：31

分类号：TP302(计算技术、计算机技术)

在线出版日期：2010-07-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：5-9