微处理器功能验证方法研究

摘要：

微处理器验证是微处理器设计的关键环节.该文探讨了微处理器模拟、硬件仿真、形式验证等方法的原理、特点和适用场合,提出了进行多层次微处理器功能验证的总体思路.

关键词：微处理器、功能验证、模拟、形式验证

所属期刊栏目：39

分类号：TP368.1(计算技术、计算机技术)

资助基金：国家自然科学基金69933030

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：35-37