一种通用处理器核验证平台的设计

摘要：

随着微处理器设计规模和复杂度的不断增大,功能验证已经成为设计的瓶颈.本文围绕一种通用处理器核的功能验证工作,构建了一种多种验证方法糅合的、基于TLM覆盖率驱动的模拟验证平台.该验证平台支持多种仿真器的模拟仿真以及对于代码覆盖率和功能覆盖率的统计,包含强大的trace跟踪功能可实时地统计性能及快速定位错误现场,并有效加速验证开发的时间、提升验证仿真的速度.

关键词： 通用处理器核 体系结构 功能验证 平台设计

作者: 赵望锋 隋兵才 王永文 艾阳阳

作者单位: 国防科技大学计算机学院 长沙410073

会议类型: 国内会议

会议名称: 第十七届计算机工程与工艺年会暨第三届微处理器技术论坛

会议地点: 西宁

会议语种:中文

页码: 393-398

在线出版日期: 2013-07-20（万方平台首次上网日期，不代表论文的发表时间）