龙腾C1微处理器的功能验证  

The Functional Verification of the Longteng C1 Microprocessor

作　　者：安建峰[1] 樊晓桠[1] 张盛兵[1] 张山刚[1] 

机构地区：[1]西北工业大学,西安710072

出　　处：《计算机工程与应用》2005年第24期123-124,200,共3页Computer Engineering and Applications

基　　金：国家"十五"预研项目:SOC在航空上的应用研究(编号:41308010307)的资助

摘　　要：微处理器的功能验证是一项复杂而重要的工作。文章在进行龙腾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.

关 键 词：微处理器 验证 仿真 FPGA 

分 类 号：TP33[自动化与计算机技术—计算机系统结构]