张山刚
- 作品数：4 被引量：19H指数：3
- 供职机构：西北工业大学更多>>
- 发文基金：国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一种基于Simics的兼容微处理器系统级验证平台
- 2006年
- 高性能微处理器复杂度不断增大,验证也变得更为复杂,已成为设计过程中的瓶颈。文章就兼容微处理器的验证,提出了基于Simics构建系统级验证平台的一种设计方法。通过自行开发的控制模块把Simics提供的ISS(InstructionLevelSimulator)和相关的存储器模型、外围设备与外部仿真器相连构建了一个验证系统平台。在这个平台中Simics支持的处理器作为待验证兼容处理器的参考模型,测试使用的激励来自真实的操作系统和应用程序,自动比较运行结果。借助于Simics的快速仿真速度和现场恢复能力,该平台可大大加快验证速度。
- 叶磊樊晓桠安建峰张山刚
- 关键词：微处理器SIMICS操作系统
- 龙腾C1微处理器的功能验证被引量：7
- 2005年
- 微处理器的功能验证是一项复杂而重要的工作。文章在进行龙腾C1微处理器的功能验证时,针对其指令集的特点,将指令集分为运算类和非运算类两种。根据两种指令各自不同的特点,文章分别提出了使用嵌入汇编语言的C语言参照模型和使用基于真实处理器执行结果的TRACE文件参照模型。在参照模型基础之上,实现了仿真结果的自动检查和基于覆盖率的分析。同时,为了加速仿真验证的速度,使用了FPGA验证平台进行功能验证,可以运行操作系统级的测试程序。
- 安建峰樊晓桠张盛兵张山刚
- 关键词：微处理器仿真FPGA
- 基于虚拟机的兼容微处理器功能验证平台被引量：7
- 2005年
- 本文根据验证兼容指令集微处理器的要求,提出了利用虚拟机快速建立微处理器功能验证平台,使用已有的操作系统和应用程序作测试程序验证兼容微处理器的方法,并给出了在验证兼容Intel486指令集微处理器AMEX86中的具体应用。
- 张山刚高德远樊晓桠安建峰
- 关键词：微处理器仿真虚拟机
- 微处理器验证平台的实现
- 本文的研究内容是'十五'预研课题(项目编号:41308010307)的一部分.论文着重讨论了微处理器验证平台的设计实现,研究成果已成功应用于航空微电子中心微处理器内核'龙腾C1'以及基于该内核的'龙腾S1'SoC芯片的功...
- 张山刚
- 关键词：微处理器
- 文献传递
