摘要
微处理器的功能验证是一项复杂而重要的工作。文章在进行龙腾C1微处理器的功能验证时,针对其指令集的特点,将指令集分为运算类和非运算类两种。根据两种指令各自不同的特点,文章分别提出了使用嵌入汇编语言的C语言参照模型和使用基于真实处理器执行结果的TRACE文件参照模型。在参照模型基础之上,实现了仿真结果的自动检查和基于覆盖率的分析。同时,为了加速仿真验证的速度,使用了FPGA验证平台进行功能验证,可以运行操作系统级的测试程序。
The Functional Verification of microprocessors is a complex but important job. In this paper,we descript the procedure of the functional verification of the Longteng C1 microprocessor.According the characterization of Longteng Cl＇s instruction sets,we divide them into two kinds and use different methods to verify.One is verified by the C language reference model and the other is verified by trace file reference model gained on the real machine.At the same time,we use FPGA verification board to accelerate the verification speed,which can boot unmodified operating systems.
出处
《计算机工程与应用》
CSCD
北大核心
2005年第24期123-124,200,共3页
Computer Engineering and Applications
基金
国家"十五"预研项目:SOC在航空上的应用研究(编号:41308010307)的资助
关键词
微处理器
验证
仿真
FPGA
microprocessor, verification, simulation, FPGA
