X微处理器的性能.ppt

X微处理器功能验证方法 X微处理器是一款采用全定制设计方法设 计的微处理器，处理器中包含动态分支预测和超标量等微体系结构技术，内部结构复杂，设计规模很大，对其进行功能验证有很大难度。 目前微处理器作为一种大批量产品,大多采用全定制的设计方法。而验证方法大多注重于半定制的功能验证方法研究,缺少全定制设计的功能验证方法。 为了解决X微处理器的验证问题,本文通过对其结构和设计特点进行分析,提出了一种系统的全定制微处理器验证方法。该方法主要包括验证模型的建立与验证激励码的产生和验证系统架构及验证平台的搭建等部分内容。 X微处理器没有采用经典的设计流程，而是设计了自己的设计流程。 在进行完系统描述设计和布图规划之后，设计工作 就直接转入了物理设计领域。 模块级的验证主要是进行电路的设计规则、电气规 则检验以及逻辑与版图对比。 当模块级设计完成之后，可以进行模块的拼接工作，各个模块进行拼接后形成系统，再进行系统级验证， 系统验证工作也包括设计规则、电气规则以及逻辑、版图对比等工作，在确保设计正确后就可以产生版图数据之后流片。 对于验证模型的建立,在半定制设计验证方法中,一般是以系统描述为基础建立验证模型,而在我们的全定制设计验证方法中,验证模型主要以全定制设计数据为基础建立的。这种模型建立方法的主要难点在于验证模型与设计模型之间差异较大,需要做的修改工作过多,并且难于保证两种模型之间的等价性。 本文提出了一套系统方法,采用这种方法能够快速地建立验证模型,并且能够保证验证模型和设计模型之间的等价性。在搭建验证系统时,仔细分析现有商业验证平台,结合它们的设计优点,我们提出了自己的统一验证环境的指导思想。在这一思想的指导下,设计实现了统一环境的系列验证平台,包括软件模拟平台、硬件仿真加速平台以及FPGA原型系统平台 由于验证模型需要在软件模拟平台、硬件仿真加速平台以及FPGA原形系统环境下工作，而FPGA原形系统对验证模型的要求最为苛刻，因此我们以FPGA验证模型作为建立目标。通过对X微处理器全定制设计数据的分析，我们选择了X微处理器的Verilog语言设计数据作为验证模型的建立基础，这是考虑到Verilog语言的通用性较好，易于转化的特点。 图32为X微处理器的验证系统结构  由于时间限制，我只是从大体上对这篇文章进行了介绍如果大家感谢去可以去查 “X微处理器功能验证方法研究”原文。 THE END ! Xie Xie