中文摘要：

针对“龙腾R2”微处理器验证过程中的存在验证规模大，人力资源不足的问题，采用流水线模型构建随机的指令序列生成器，搭建以功能覆盖率为导向的自动化验证平台；该平台在仿真验证过程中能根据处理器的运行状态及覆盖率实时地调整指令流以侧重当前验证不充分的功能模块，实现自动化验证；通过仿真，与传统方法相比，在达到同等验证程度的情况下，使用该平台验证周期明显缩短，同时验证覆盖率也有所提高。

英文摘要：

This paper presents a method that constructs automatic verification environment by using pipeline model and function coverage. In the process of verification, the environment generates instructions randomly and also can generate instructions for uncovered module according to the coverage and status of processor. The simulation result demonstrates that this method deduces the verification periods and increases the coverage comparing to the traditional method.