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