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

来源 :电脑知识与技术:学术交流 | 被引量 : 0次 | 上传用户:dingzhiyoulan
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
乱序执行是现代微处理器设计中普遍采用的提高流水线性能的方法,但乱序执行并乱序退出的全乱序结构在超标量处理器中应用并不普遍,这种全乱序的结构对基于参考模型的处理器正确性验证提出了巨大的挑战。主要介绍了从处理器的程序行为是否正确的最终标准——程序员可见的结构变量按程序行为进行顺序变化的角度对全乱序结构的处理器验证提出了一种全新的解决方法。
其他文献
利用华中电网4省1986 ̄1994年逐月全社会用电量、居民生活用电量及同期气候资料研究表明:1)4省气候变化趋势一致即年变化小但季节变化大;2)e1,e2均呈线性增加趋势,冬夏增加最快,e2的相对增长比e1的相对增长
随着水产养殖生产规模的不断扩大,以及集约化程度的不断提高,水产养殖品种的各种病害也日趋严重,危害程度逐年加大,给水产养殖生产造成了很大的损失。而渔药的应用对确保养殖渔业
总结经尿道前列腺电切术后并发症的观察及护理。经尿道前列腺电切术后常见的并发症为TUR综合征、出血、膀胱痉挛、暂时性尿失禁、尿潴留、泌尿系感染。严密监测术后变化,保持
淡水白鲳原产于南美亚马逊河,是热带和亚热带食用与观赏兼备的大型经济鱼类,具有肉质好、体型大、生长快、食性广、病害少、耐低氧、易起捕、好垂钓等诸多优点,为广大养殖经营者
痫病是一种发作性神志异常的疾病,又名"癫痫"或"羊痫风".因气机逆乱,元神失控而致精神恍惚,甚则突然仆倒,昏不知入,口吐白沫,两目上视,四肢抽搐,或口中如作猪羊叫声,移时苏醒后如
带状疱疹是临床常见的一种病毒性皮肤病,中医称之为"蛇丹",它以身体一侧皮肤出现簇集成群、累累如串珠样疱疹和剧烈疼痛为特征。本门诊采用艾灸配合常规西医治疗带状疱疹52例,
提要:介绍了相关反馈技术的基本思想,设计了网络信息检索中相关反馈系统的功能与结构,探索如何在现有的公共网络搜索引擎基础上,利用Java语言实现具有相关反馈功能的搜索引擎接口。  关键词:相关反馈;搜索引擎;信息检索;Java  中图分类号:TP393文献标识码:A文章编号:1009-3044(2011)16-3852-04  Java-based Implement of Relative Fee
目的:观察健康促进干预在社区内口服降糖药2型糖尿病患者中的应用效果。方法:选择2012年6月~2013年6月我院下辖社区的2型糖尿病患者286例,均分为健康促进干预组和对照组(P〉0.05),
目的:对急性坏死型胰腺炎术后的患者进行术后护理,通过观察患者的恢复状况,探讨术后护理对急性出血坏死型胰腺炎患者康复的重要意义.方法:选择我院收治的18例急性出血坏死型胰
说话人特征提取是说话人识别系统中的关键环节,优良的特征提取算法既能有效反映说话人的基本特征,又能为识别的有效性提供保证。根据量子势阱理论,论文以透射系数、能量和频率的对应关系为切入点,构造出使频率和势阱一一对应的势阱组。针对语音信号的特点,将一帧语音信号视为一个量子态,利用势阱分离能量的特性,通过势阱组提取出信号的能量谱特征,并以此作为特征参数,探索了一种基于量子势垒组的说话人特征提取方法。仿真结