| 基于虚拟机的兼容微处理器功能验证平台 |
| |
| 引用本文： | 张山刚,高德远,樊晓桠,安建峰. 基于虚拟机的兼容微处理器功能验证平台[J]. 微电子学与计算机, 2005, 22(1): 140-143 |
| |
| 作者姓名： | 张山刚 高德远 樊晓桠 安建峰 |
| |
| 作者单位： | 西北工业大学航空微电子中心,西安,710072 |
| |
| 基金项目： | 国家“十五”预研项目资助(41308010307) |
| |
| 摘 要： | 本文根据验证兼容指令集微处理器的要求，提出了利用虚拟机快速建立微处理器功能验证平台，使用已有的操作系统和应用程序作测试程序验证兼容微处理器的方法，并给出了在验证兼容Intel486指令集微处理器AMEX86中的具体应用。
|
| 关 键 词： | 微处理器 功能验证 仿真 兼容指令集 虚拟机 |
| 文章编号： | 1000-7180(2005)01-140-04 |
| 修稿时间： | 2004-08-05 |
Virtual Machine Based Functional Verification Platform of Compatible Microprocessors |
| |
| ZHANG Shan-gang,GAO De-yuan,FAN Xiao-ya,AN Jian-feng. Virtual Machine Based Functional Verification Platform of Compatible Microprocessors[J]. Microelectronics & Computer, 2005, 22(1): 140-143 |
| |
| Authors: | ZHANG Shan-gang GAO De-yuan FAN Xiao-ya AN Jian-feng |
| |
| Abstract: | In this paper, we suggest a Virtual Machine based functional verification platform-VMSIM, especially for the compatible microprocessor design. By using the mainboard model? peripheral equipment model and 486DX Instruction Set Simulator of the Virtual Machine, VMSIM builds a verification environment for Register Transfer Level (RTL) model of the design that can simulate operation system and other large application in high speed and was used in AMEX86 microprocessor's functional verification. Finally, some conclusions are given. |
| |
| Keywords: | Microprocessor Functional verification Simulation Compatible instruction set Virtual machine |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
