期刊文献+

使用Simics模拟器辅助微处理器验证 被引量:1

Assisting Microprocessor Verification with Simics Simulator
下载PDF
导出
摘要 在微处理器功能验证中,仿真激励生成和复杂仿真环境构建经常耗费大量的时间。提出一种基于Simics模拟器的验证平台VMSIM,并介绍这种平台在龙腾C2486兼容处理器上的应用。使用VMSIM可以在软件仿真环境中,构造真实的操作系统运行环境,可以有效地发现深层次的设计错误并快速定位,为微处理器验证起到了良好的辅助作用。最后给出VMSIM在龙腾C2处理器验证中的实际应用结果。 In the functional verification of microprocessors, it usually takes a considerable time to construct complex test scenarios and to generate test stimulus. A verification platform VMSIM, based on the Simics simulator, is proposed in this paper. Also the implementation of VMSIM with the Longteng C2 processor is studied. With VMSIM the real operating system environment could be built under the software simulator. The deep-hiding bugs are found and located fast. It is an useful approach to assist microprocessor verification. At last the actual applica- tion of VMSIM in the verification of Longteng C2 is presented.
出处 《科学技术与工程》 2008年第7期1847-1850,1855,共5页 Science Technology and Engineering
基金 国家自然科学基金(60573143 60573107)资助
关键词 微处理器 龙腾C2 SIMICS 验证 仿真 microprocessor Longteng C2 Simics verification simulation
  • 相关文献

参考文献6

  • 1[1]Rashinkar P,Paterson P,Singh.L.System-On-a-chip verification methodology and techniques.Kluwer Academic Publishers,2001 被引量:1
  • 2[2]Magnusson P S,Christenssonagnus,Eskilson J,et al.Simics:A Full System Simulation Platform.IEEEComputer,https://www.simics.net/simica/simics-computer-february-2002-wcover.pdf,2002-02 被引量:1
  • 3[3]Model Technology.ModelSim se Foreign Language Interface.version 6.0,2004 被引量:1
  • 4[4]Intel,IA-32 Intel Architecture Software Developer's Manual Volume2:Instruction Set Reference,1999 被引量:1
  • 5[5]Virtutech AB.Simics Reference Manual x86,Simies2.0.8,2004 被引量:1
  • 6[6]Virtutech AB.Simics/x86 Target Guide.Simics2.0.8.2004 被引量:1

同被引文献6

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部