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

• 作者: 李思昆 李暾 郭阳
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 微处理器 功能验证 模拟 形式验证
• 年，卷（期）: 2003,（5）
• 所属期刊栏目: 博士论坛
• 页码范围: 35-37
• 页数: 3页
• 分类号: TP368.1
• 字数: 5312字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2003.05.011

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李思昆	国防科技大学计算机学院	100	974	16.0	27.0
2	郭阳	国防科技大学计算机学院	50	449	9.0	20.0
3	李暾	国防科技大学计算机学院	19	186	5.0	13.0