基于PowerPC架构的通用处理器系统虚拟验证

摘要：

基于PowerPC架构通用处理器系统在全球军用/宇航微处理器等长寿命、高可靠领域应用非常广泛，与此同时其规模和复杂度之大给设计和验证带来了巨大挑战。文中基于一款PowerPC架构的通用处理器系统，构建软硬件协同工作的虚拟验证平台，开发验证模型和测试程序，并采用模块级到系统级的分层验证策略。验证结果表明，基于PowerPC架构通用处理器系统虚拟验证能够有效地进行系统的功能和性能验证，提高了验证效率，缩短了设计中的查错纠错时间，从而降低风险，加快设计、验证进度。

关键词：PPC通用处理器、验证平台、验证模型、虚拟仿真

所属期刊栏目：26

分类号：TP39(计算技术、计算机技术)

资助基金：中国航空工业集团创新基金2010BD63111

在线出版日期：2016-05-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：136-138,143