赵君建, 张盛兵, 黄小平. 一种基于虚拟机的处理器高效原型验证方法[J]. 微电子学与计算机, 2010, 27(7): 94-96,101.
引用本文: 赵君建, 张盛兵, 黄小平. 一种基于虚拟机的处理器高效原型验证方法[J]. 微电子学与计算机, 2010, 27(7): 94-96,101.
ZHAO Jun-jian, ZHANG Sheng-bing, HUANG Xiao-ping. An Efficient Microprocessor Prototype Verification Methodology Based on Simics[J]. Microelectronics & Computer, 2010, 27(7): 94-96,101.
Citation: ZHAO Jun-jian, ZHANG Sheng-bing, HUANG Xiao-ping. An Efficient Microprocessor Prototype Verification Methodology Based on Simics[J]. Microelectronics & Computer, 2010, 27(7): 94-96,101.

一种基于虚拟机的处理器高效原型验证方法

An Efficient Microprocessor Prototype Verification Methodology Based on Simics

  • 摘要: 针对传统微处理器FPGA验证难以快速精确的定位错误的问题,提出了一种基于Simics虚拟机的高效原型验证方法,使用Simics辅助FPGA验证,快速定位错误来源.该方法已在龙腾R的FPGA验证平台中得到了应用.实践表明,该方法可以有效缩短问题查找时间,同时Simics仿真结果也能提供解决问题的思路.

     

    Abstract: The traditional microprocessor FPGA verification methodology can not fix the sources of errors quickly and accurately. Aiming at solving this problem,also combining the verification requirements of Longtium R microprocessors,a Simics-based prototype verification methodology,is proposed. Using this contrastive verification flow,the overall time consumption was reduced. The Simics's simulation results could also provide more clues,which can make it easy to solve the problems.

     

/

返回文章
返回