基于PowerPC架构的通用处理器系统虚拟验证
来源：计算机技术与发展杂志2016年第04期北京时间：
作者：王婷;马超;田泽
摘要：基于PowerPC架构通用处理器系统在全球军用/宇航微处理器等长寿命、高可靠领域应用非常广泛，与此同时其规模和复杂度之大给设计和验证带来了巨大挑战。文中基于一款PowerPC架构的通用处理器系统，构建软硬件协同工作的虚拟验证平台，开发验证模型和测试程序，并采用模块级到系统级的分层验证策略。验证结果表明，基于PowerPC架构通用处理器系统虚拟验证能够有效地进行系统的功能和性能验证，提高了验证效率，缩短了设计中的查错纠错时间，从而降低风险，加快设计、验证进度。
关键词：PPC通用处理器;验证平台;验证模型;虚拟仿真
