一种基于数据相关性的乱序处理器验证方法

• 作者: 宁永波 张琦滨 李强 李谦
• 来源期刊: 电脑知识与技术
• 学科: 工学
• 关键词: 乱序执行 数据相关性 流水线调度
• 年，卷（期）: 2011,（4）
• 所属期刊栏目: 软件设计开发
• 页码范围: 829-831
• 分类号: TP302
• 字数: 4262字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-3044.2011.04.048

摘要

乱序执行是现代微处理器设计中普遍采用的提高流水线性能的方法,但乱序执行并乱序退出的全乱序结构在超标量处理器中应用并不普遍,这种全乱序的结构对基于参考模型的处理器正确性验证提出了巨大的挑战.主要介绍了从处理器的程序行为是否正确的最终标准--程序员可见的结构变量按程序行为进行顺序变化的角度对全乱序结构的处理器验证提出了一种全新的解决方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李谦		6	1	1.0	1.0
2	张琦滨		8	4	1.0	1.0
3	李强		7	2	1.0	1.0
4	宁永波		4	1	1.0	1.0