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

Functional Verification of TURBO52 Embedded Microprocessor

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

In this paper,in the first place it figure our the major verification challenge for TURBO51 is the prediction and out-of-order pipeline based architecture.then it shows the verification strategy of TURBO51 which takes steps of all three major steps in verification of current mainstream microprocessors,formal verification,RTL and simulation,FPGA verification respectively and gate-level lastly.The code-coverage report,error accumulative chart and error distribution in different verification stages are also given in the paper.Owing to all these correct and proper verification measures equipped,all severe errors and over 99% errors has been fixed prior to FPGA verification and secures the one-time-successfully-tape-out of TURBO51.But,the automatic test vector based verification manner is needed to be enhanced in the future work.