乱序超标量多核处理器的验证方法

验证是芯片设计的关键环节,尤其对于高复杂度的处理器。阐述通用的处理器验证环境,紧密结合处理器设计中的关键点,提出了基于体系结构寄存器和多级缓存的验证原则,该方法应用于自主设计的X86通用处理器。