基于PowerPC架构的通用处理器系统虚拟验证
王婷;马超;田泽
【期刊名称】《计算机技术与发展》 【年(卷),期】2016(026)004
【摘要】基于PowerPC架构通用处理器系统在全球军用/宇航微处理器等长寿命、高可靠领域应用非常广泛，与此同时其规模和复杂度之大给设计和验证带来了巨大挑战。文中基于一款PowerPC架构的通用处理器系统，构建软硬件协同工作的虚拟验证平台，开发验证模型和测试程序，并采用模块级到系统级的分层验证策略。验证结果表明，基于PowerPC架构通用处理器系统虚拟验证能够有效地进行系统的功能和性能验证，提高了验证效率，缩短了设计中的查错纠错时间，从而降低风险，加快设计、验证进度。%The general processor system based on PowerPC architecture is outstanding in the military/astronautics microprocessor field with longer life and higher reliability. At the same time,with the increasing of the transistor number and the complexity,the design and verification has been brought huge challenge. Based on the general processor system based on PowerPC architecture,the hardware/soft-ware co-design virtual verification testbench is proposed,and verifying model and testcase is developed,and the verification method from module to system is adopted. The simulation results show that the virtual verification for general processor system based on PowerPC ar-chitecture can conduct the verification of function and performance,which improves the
基于PowerPC架构的通用处理器系统虚拟验证
