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

• 作者: 安建峰 张山刚 张盛兵 樊晓桠
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 微处理器 验证 仿真 PCA
• 年，卷（期）: 2005,（24）
• 所属期刊栏目: 产品、研发、测试
• 页码范围: 123-124,200
• 页数: 3页
• 分类号: TP33
• 字数: 2028字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2005.24.038

摘要

微处理器的功能验证是一项复杂而重要的工作.文章在进行龙腾C1微处理器的功能验证时,针对其指令集的特点,将指令集分为运算类和非运算类两种.根据两种指令各自不同的特点,文章分别提出了使用嵌入汇编语言的C语言参照模型和使用基于真实处理器执行结果的TRACE文件参照模型.在参照模型基础之上,实现了仿真结果的自动检查和基于覆盖率的分析.同时,为了加速仿真验证的速度,使用了FPGA验证平台进行功能验证,可以运行操作系统级的测试程序.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张盛兵		142	912	15.0	23.0
2	樊晓桠		170	1393	17.0	29.0
3	安建峰		25	103	6.0	8.0
4	张山刚		3	20	2.0	3.0