基于伪随机的微处理器验证方法及改进

• 作者: 张振军 毛志刚
• 来源期刊: 信息技术
• 学科: 工学
• 关键词: 指令集验证 伪随机 覆盖率 人工神经网络
• 年，卷（期）: 2008,（10）
• 所属期刊栏目: 应用技术
• 页码范围: 59-61
• 页数: 3页
• 分类号: TP368
• 字数: 2502字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-2552.2008.10.018

摘要

处理器验证是验证工作中最重要也是时间开销最大的部分.文中提出了一种基于仿真的微处理器验证方法,以伪随机算法为主自动生成测试向量,实现了验证的自动化和验证环境的可重用性.并在此基础上引入神经网络算法,提高了整个验证过程的自动化程度和效率.通过一款DSP处理器的验证结果表明,该方法确实提高了微处理器功能验证的有效性和完备性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	毛志刚	上海交通大学微电子学院	82	249	9.0	12.0
2	张振军	上海交通大学微电子学院	1	3	1.0	1.0