| 微处理器功能验证方法研究 |
| |
| 引用本文： | 郭阳,李暾,李思昆.微处理器功能验证方法研究[J].计算机工程与应用,2003,39(5):35-37. |
| |
| 作者姓名： | 郭阳 李暾 李思昆 |
| |
| 作者单位： | 国防科技大学计算机学院,长沙,410073 |
| |
| 基金项目： | 国家自然科学基金重点项目(编号:69933030) |
| |
| 摘 要： | 微处理器验证是微处理器设计的关键环节。该文探讨了微处理器模拟、硬件仿真、形式验证等方法的原理、特点和适用场合,提出了进行多层次微处理器功能验证的总体思路。
|
| 关 键 词： | 微处理器 功能验证 模拟 形式验证 |
| 文章编号： | 1002-8331-(2003)05-0035-03 |
| 修稿时间： | 2002年9月1日 |
Functional Verification Methodology for Microprocessor |
| |
| Guo Yang Li,Tun Li,Sikun.Functional Verification Methodology for Microprocessor[J].Computer Engineering and Applications,2003,39(5):35-37. |
| |
| Authors: | Guo Yang Li Tun Li Sikun |
| |
| Abstract: | Microprocessor verification is very important to microprocessor design.This paper discusses the principle,characteristic and scope of the various verification method,including simulation,hardware emulation and formal verification,and presents the strategy for multi-level microprocessor verification. |
| |
| Keywords: | microprocessor functional verification simulation formal verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
