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

作     者：宁永波 李谦 李强 张琦滨 NING Yong-bo;LI Qian;LI Qiang;ZHANG Qi-bin

作者机构：江南计算技术研究所江苏无锡214083 

出 版 物：《电脑知识与技术》 (Computer Knowledge and Technology)

年 卷 期：2011年第7卷第2期

页      码：829-831页

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

主 题 词：乱序执行 数据相关性 流水线调度 

学科分类：08[工学] 081201[081201] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1009-3044.2011.04.048

馆 藏 号：203110286...