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

• 作者: 王婷 田泽 马超
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: PPC通用处理器 验证平台 验证模型 虚拟仿真
• 年，卷（期）: 2016,（4）
• 所属期刊栏目: 应用开发研究
• 页码范围: 136-138,143
• 页数: 4页
• 分类号: TP39
• 字数: 2767字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2016.04.030

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	田泽		122	777	15.0	20.0
5	王婷		12	19	2.0	3.0
7	马超		6	14	2.0	3.0