媒体DSP处理器验证平台的研究与开发

发布时间：2020-06-05 00:30

【摘要】：随着IC设计自动化程度的提高和芯片集成度的上升,验证工作的复杂度和工作量呈指数趋势上升。系统实现部分的RTI代码每多一倍,验证的工作量往往要增加到四倍甚至更大。传统验证方法的很多劣势在当前大规模的DSP处理器的验证中凸现出来本,如何提高验证效率和节省验证代价成为一个新的挑战。 本文提出了两级平台的验证方法,用BFM模型搭建验证平台对每个模块进行独立的验证,系统集成后用C++语言建立ISA参考模型验证整个DSP核,测试矢量同时激励参考模型和RTL代码,通过比较两者的输出结果来定位故障,达到快速验证排错和故障定位的目标。本验证方案成功应用于在浙江大学和中天微系统有限公司合作开发的拥有自主知识产权的媒体DSP处理器Spock的设计中,提高了验证自动化及标准化水平,缩短了设计过程中验证的时间。该验证平台有良好的可重用性,为DSP开发提供了一套通用的验证环境和验证方法。 本文还介绍了一种基于JTAG协议的嵌入式DSP处理器的集成仿真调试器的设计方法。该调试器中嵌入了ISS仿真器,同时具有软件调试和硬件调试的功能。指令的硬件执行和软件仿真同时进行,可以对硬件运行结果进行实时检验,实现了软硬件协同调试,大大提高了调试效率。为了提高调试模式下写存储器的速度,调试器采用了硬件辅助下载的方法。该调试工具应用于DSP核Spock中,加速了调试进程,有良好的参考价值。
【图文】：

以及结果比较、运行验证平台等脚本使用g++对SIA模型进行编译，SynopsysVCS对HDL模型进行编译，编写测试矢量对15^mdoe一和HnLmodex同时产生激励，对两者每步pe执行后的寄存器值等信息采用文件的形式打印出来，通过结果比较程序对两者进行分析，一旦发现有不同之处打印出失败信息，全部相同则认为测试矢量通过。所有测试矢量全都通过的时候，运行ergress并且检查代码覆盖率，对验证成果进行评估。闷尸甲.闷曰.州.口月.门脚...‘闷.口暇....J即角声口臼.月峨.口润..闷.门.

供的rnad()快四倍。图14为随机指令生成器的结构框图，·配置文件中是DSP指令集。由于采用了可配置的指令集，，该指令生成器有良好的可重用性。程序用的命令行为:spoek一s堪a一input.rs卜0out.asm][一5seed]。输入为按照一定规的格式进行范围限制，可以按照要求生随机或顺序指令，并且可以指定随机数种子，使得随机程序有令好的可重现性。如果不指定种子的话，则以当前的时为默认的随机数产生的种子。图15为该指令生成器将sr文件转换成spock汇程序的一个例子。
【学位授予单位】：浙江大学
【学位级别】：硕士
【学位授予年份】：2006
【分类号】：TP332

【相似文献】

相关期刊论文 前10条

1 王奇志;鲁荣杰;蔡静锋;;基于语音检测的音控转接系统设计与实现[J];指挥信息系统与技术;2011年04期

2 郭少华;郑映春;Jack;;简约不简单——奔驰ML350音响改装[J];音响改装技术;2010年02期

3 蔡湘平;李东;;石英晶体参数测量的数字鉴相系统[J];计算机测量与控制;2011年06期

4 王玉欢;田泽;蔡叶芳;;RapidIO IP核的验证方法研究[J];计算机技术与发展;2011年07期

5 顾锐;杨辉;;基于DSP的无人机双冗余飞控计算机系统设计与实现[J];电脑知识与技术;2011年17期

6 刘萌;冯海洲;李康;马佩军;史江一;;基于SystemVerilog的网络处理器验证平台设计[J];电子器件;2011年03期

7 邢丽华;王庆丰;;基于DSP的电液比例方向阀频率特性测控系统设计[J];传感器与微系统;2011年08期

8 Rich Nowakowski;;POL电源设计技术和参考设计[J];今日电子;2011年09期

9 刘之光;王星;;一种GSM接收机设计与实现[J];硅谷;2011年12期

10 赵世明;李良光;胡敏;;基于汉明码的井下抗干扰无线通信系统[J];科技信息;2011年20期

相关会议论文 前10条

1 翟智博;刘鹏;张炜;郑德春;;基于DSP验证平台的MP3解码算法研究与实现[A];第十二届全国信号处理学术年会（CCSP-2005）论文集[C];2005年

2 徐泽群;;DSP芯片测试向量生成方法[A];第一届中国微电子计量与测试技术研讨会论文集[C];2008年

3 许卓兵;刘春宁;田蔚风;金志华;;基于DSP的全姿态挠性陀螺寻北仪[A];2001年飞行器惯性器件学术交流会论文集[C];2001年

4 汪向阳;张云峰;;基于双DSP的图像处理系统硬件设计[A];第三届全国信息获取与处理学术会议论文集[C];2005年

5 邹积涛;白山;刘一恒;;潜油式永磁同步直线抽油机无位置传感器控制系统研究[A];2008中国电工技术学会电力电子学会第十一届学术年会论文摘要集[C];2008年

6 张春;王志华;;DSP系统的系统内编程的实现[A];第九届全国信号处理学术年会（CCSP-99）论文集[C];1999年

7 商斌梁;张振仁;;柴油机智能诊断仪的研制[A];中国仪器仪表学会第三届青年学术会议论文集（下）[C];2001年

8 华学明;吴毅雄;张勇;焦馥杰;;数字信号处理器在焊接电源中的应用前景[A];第五届21世纪中国焊接技术研讨会论文专刊[C];2003年

9 耿忠庆;;DSP在逆变焊接电源中的应用[A];第五届21世纪中国焊接技术研讨会论文专刊[C];2003年

10 杨霞;杨波;杜继光;;永磁同步电动机矢量控制系统设计[A];第十三届中国小电机技术研讨会论文集[C];2008年

相关重要报纸文章 前10条

1 罗军;星上数字信号处理器[N];中国航天报;2001年

2 田学科;光数字信号处理器创惊人速度[N];科技日报;2003年

3 记者 陈嘉佳　通讯员 康文;科技要给民航安全发展更多支持和帮助[N];中国民航报;2009年

4 冯军;摩托罗拉和朗讯科技推出数字信号处理器核心[N];科技日报;2000年

5 上海硅知识产权交易中心总经理 徐步陆;加大高端通用IP核项目投入 完善生态环境建设[N];中国电子报;2009年

6 计宣;计算所自主创“芯”成功[N];中国航空报;2010年

7 ;DM270实现VGA摄像[N];计算机世界;2003年

8 记者　 计育青;CNGI项目优先考虑国产设备[N];中国电子报;2007年

9 王小庆;国内厂商与TI共推2.5代移动产品[N];中国电子报;2000年

10 记者 陈斌;创新为PC装备5.1声道[N];计算机世界;2000年

相关博士学位论文 前10条

1 陈晓毅;数字广播接收机的软件无线电研究[D];浙江大学;2005年

2 章健;原子力与光子扫描隧道组合显微镜功能性样机[D];大连理工大学;2005年

3 李香平;基于复合颜色空间与时空域的视频车辆监控系统的研究[D];天津大学;2004年

4 郑德春;DSP可测性、测试方法和平台的研究[D];浙江大学;2005年

5 张延军;面向特定应用的指令集处理器设计方法研究[D];清华大学;2006年

6 麦宋平;一种双模人工耳蜗系统及其低功耗数字信号处理器的设计[D];清华大学;2009年

7 邓学欣;开放式故障诊断构架及动态测试分析方法研究[D];天津大学;2004年

8 肖继学;基于累加器的DSP数据通路的内建自测试技术的研究[D];电子科技大学;2007年

9 王雷;无刷直流电动机调速系统的研究[D];浙江大学;2008年

10 杜志强;高响应短行程直线直流电机的建模、控制与实验研究[D];华中科技大学;2006年

相关硕士学位论文 前10条

1 刘卫华;16位数字信号处理器IP核的开发[D];哈尔滨工业大学;2007年

2 赵兴亮;媒体DSP处理器验证平台的研究与开发[D];浙江大学;2006年

3 范新宇;100MHz数字存储示波表样机的研究与试制[D];电子科技大学;2005年

4 王焱;基于并行DSP的VLSI功能测试研究[D];北京工业大学;2005年

5 周洁;局域网环境下音频认证水印系统的设计与实现[D];南京理工大学;2005年

6 刘为超;G.729语音编码算法研究及其DSP的实现[D];湖南大学;2005年

7 刘述喜;基于直接转矩控制的交流变频电力测功机控制方法的研究[D];重庆大学;2005年

8 刘丽丽;基于μC/OS-Ⅱ的多轴运动控制器的研究与应用[D];中国海洋大学;2005年

9 王文静;基于DSP的数字化UPS监控系统的设计与实现[D];华中科技大学;2005年

10 张丽萍;先进飞机电气系统控制与管理系统远程终端硬件平台研究[D];西北工业大学;2006年

本文编号：2697216