一款X86架构处理器保护模式及长模式下复杂指令的验证

摘要：

　　本文对一款X86架构处理器的复杂指令在保护模式以及长模式下进行了功能验证。通过对X86架构处理器运行模式进行分析，搭建了进入保护模式以及长模式(长模式包括兼容模式及64bit模式)的模板，为指令集在这3种模式下进行功能验证奠定基础。基于对X86指令访存次数及访存难度的研究，将指令集分为一般指令、一般复杂指令与复杂指令，并对复杂指令：CALL FAR、JUMP FAR、RETURN FAR、INT和IRET进行了定向功能验证，编写测试激励800余条，实现功能点覆盖率100％，发现设计错误32处。

关键词： 集成电路测试 复杂指令 运行模式 功能验证

作者: Hao Shuai 郝帅 Lv Tao 吕涛 Li Xiao Wei 李晓维

作者单位: State Key Laboratory of Computer System and Architecture, Chinese Academy of Sciences, Beijing 10019 中国科学院计算技术研究所,计算机体系结构国家重点实验室,北京,100190

会议类型: 国内会议

会议名称: 第七届中国测试学术会议

会议地点: 杭州

会议语种:中文

页码: 281-286

在线出版日期: 2012-06-23（万方平台首次上网日期，不代表论文的发表时间）