| 一种基于数据相关性的乱序处理器验证方法 |
| |
| 引用本文： | 宁永波,李谦,李强,张琦滨.一种基于数据相关性的乱序处理器验证方法[J].数字社区&智能家居,2011(4). |
| |
| 作者姓名： | 宁永波 李谦 李强 张琦滨 |
| |
| 作者单位： | 江南计算技术研究所; |
| |
| 摘 要： | 乱序执行是现代微处理器设计中普遍采用的提高流水线性能的方法,但乱序执行并乱序退出的全乱序结构在超标量处理器中应用并不普遍,这种全乱序的结构对基于参考模型的处理器正确性验证提出了巨大的挑战。主要介绍了从处理器的程序行为是否正确的最终标准——程序员可见的结构变量按程序行为进行顺序变化的角度对全乱序结构的处理器验证提出了一种全新的解决方法。
|
| 关 键 词： | 乱序执行 数据相关性 流水线调度 |
A Method for Verification of Out-of-order Processor Based on Data Dependencies |
| |
| NING Yong-bo,LI Qian,LI Qiang,ZHANG Qi-bin.A Method for Verification of Out-of-order Processor Based on Data Dependencies[J].Digital Community & Smart Home,2011(4). |
| |
| Authors: | NING Yong-bo LI Qian LI Qiang ZHANG Qi-bin |
| |
| Affiliation: | NING Yong-bo,LI Qian,LI Qiang,ZHANG Qi-bin(Jiangnan Institute of Computing Technology,Wuxi 214083,China) |
| |
| Abstract: | Out-of-order instruction execution is widely used in modern microprocessors for improve the performance of pipeline.But those processors with both out-of-order execution and out-of-order retire are not at large.This takes great challenge for verification those processors with full out-of-order architecture.Then present a new approach to the verification of Out-of-order processor from the point of structure variable changed that according to the program at programmer-lever,which is the final slandered for ve... |
| |
| Keywords: | out-of-order execution data dependencies pipeline dispatch |
| 本文献已被 CNKI 等数据库收录！ |
|
