基于多模拟器协同模拟的微处理器验证技术研究

发布时间：2017-11-19 20:12

  本文关键词：基于多模拟器协同模拟的微处理器验证技术研究

  更多相关文章： 微处理器验证 协同模拟 GEM5模拟器 RTL模型 System Verilog DPI

【摘要】：随着通用高性能微处理器进入多核时代,处理器芯片的设计规模大大增加,随之而来的是功能验证复杂度的急剧提升,开发一种可以快速定位设计错误的验证平台,对缩短处理器的上市时间具有至关重要的作用。本文设计并实现了一种基于Verilog模拟器与C模拟器协同模拟的微处理器验证平台BugFinder。该平台利用GEM5模拟器实现了待验证微处理器的参考模型,并通过SystemVerilog DPI接口将待验证微处理器的RTL模型与GEM5参考模型相连。通过在RTL和GEM5上运行相同的测试程序,并比较每条指令的执行结果,当RTL设计错误被触发时,可以快速准确的定位到出错现场。本文的主要工作如下:1.提出了一种RTL和C模型协同模拟验证的框架。分析了协同模拟的基本理论、总体架构、同步需求、通信方法等。2.在所提出的框架基础上,设计了一个微处理器协同模拟验证的原型系统。该系统包含GEM5参考模型、RTL信息提取模块、控制模块等。重点介绍了RTL信息提取、通信机制、同步方法等。3.通过处理器实际验证过程和RTL错误注入两种方法测试了BugFinder平台的有效性。结果显示BugFinder平台可以快速定位到错误现场,有效缩短了错误调试的时间。
【学位授予单位】：国防科学技术大学
【学位级别】：硕士
【学位授予年份】：2015
【分类号】：TP332

【相似文献】

中国期刊全文数据库 前10条

1 屈玉峰;郭亮;冯根宝;;搭建基于E语言参考模型的验证平台[J];中国集成电路;2005年09期

2 詹文法,马俊,张溯,许修兵;一种可重用的验证平台结构[J];微机发展;2005年03期

3 詹文法;李丽;程作仁;张溯;;一种基于总线的可重用验证平台研究[J];电子技术应用;2006年05期

4 期彤;;新思科技设计系统、验证平台双线出击[J];电子设计应用;2009年05期

5 张健;黄蓓;王玉艳;;交换控制电路功能验证平台设计[J];计算机工程;2006年16期

6 万超;申敏;张亚楠;;通道在层次化验证平台中的应用[J];电子测试;2007年05期

7 袁艳;申敏;;覆盖率技术的提高在RVM层次化验证方法中的应用[J];电子测试;2008年01期

8 宋秀兰;吴晓波;;高性能验证平台设计与搭建[J];电子器件;2008年06期

9 刘芳;谢峥;连志斌;王新安;;一种可重构的通用总线接口验证平台的研究及实现[J];电子器件;2011年03期

10 王红卫;占杨林;梁利平;;以覆盖率为导向的自动化验证平台[J];电子测试;2013年05期

中国重要会议论文全文数据库 前6条

1 王立胜;王秉臣;朱波;朱智超;赖安学;;基于大型飞行器的信息系统仿真验证平台设计[A];中国宇航学会深空探测技术专业委员会第十届学术年会论文集[C];2013年

2 华静;;虚拟化技术构建金融云业务验证平台[A];2013年中国通信学会信息通信网络技术委员会年会论文集[C];2013年

3 徐文进;田泽;;基于AFDX-ES SOC验证平台的向量中断控制器验证研究[A];第十六届计算机工程与工艺年会暨第二届微处理器技术论坛论文集[C];2012年

4 淮治华;田泽;赵强;韩炜;;基于DSP的SoC FPGA原型验证平台的构建与应用[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集（A辑）[C];2011年

5 陈小龙;荆涛;;如何在FPGA或ASIC设计中用TCL为HDL模型搭建自动验证平台[A];全国第一届嵌入式技术联合学术会议论文集[C];2006年

6 iJ淑媚;灻斐章;周佩廷;R壭憔，

本文编号：1204748