面向DSP芯片统一验证平台的研究与实现

发布时间：2020-05-14 11:34

【摘要】： 随着DSP芯片规模的不断扩大和功能的不断增加,对DSP芯片的功能正确性、速度、功耗、可靠性等方面都提出更加严格的要求。其中,保证设计功能正确是最基本的一项要求。目前功能验证已占整个设计资源的70%左右,而设计验证则占据验证工作的绝大部分。设计验证是集成电路( Ic:Integrated circuit)设计中不可或缺的重要组成部分,主要用于判别设计规范和设计实现之间是否保持一致,已成为集成电路整个设计流程中开销最大的工作。为解决设计验证的问题,业界提出不少设计验证的方法,在一定程度上缓解了设计验证的向题,如何更好的利用现有技术和工具来建立验证环境是业界普遍关注的焦点和工作的重点。 本文针对DSP设计复杂的特点,提出了一种利用SOCKET通信协议把DSP硬件设计,利用SystemC语言建立的参考模型以及针对DSP开发的软件仿真器放在统一平台下验证的方法,建立了一个三方验证平台,该平台为DSP芯片设计功能性验证提供一种切实可行的简便方法,能够同时保证软硬件设计的正确性和统一性。 本测试平台结构合理、功能齐全,已经在成功验证了中国电子科技集团自主设计的高性能32位浮点通用信号处理器BWDSP100,实践证实,测试平台运行稳定,为硬件和软件设计师调试程序提供了切实可行的简便方法。
【图文】：

用到我们生活的每一个角落，从军用到民用，从地使用 DSP。航空航天方面，主要用于雷达和声纳信号处理；IP 电话(voice over IP)、ADSL 和 HFC 的信号传制、光驱和硬盘驱动器；在测试/测量方面，主医疗诊断等；在电子娱乐方面，主要用于高清晰AC-3、家庭影院、DVD 等应用；还有数字相机、。同时，SOC 芯片系统、无线应用、嵌入式 DSP 可以说，，没有 DSP 就没有对互联网的访问，也因此，DSP 仍将是整个半导体工业的技术驱动力其函盖面包括宽带 Internet 接入业务、下一代无线场、汽车电子市场的发展等诸多多方面。

业界目前广泛采用的是覆盖率验证（CDV），但这种方法也被认为是不完备的验证方法。满足下列三个条件才能发现设计的缺陷：须被激活，例如包含缺陷的代码段必须被使用。须传递到可观察的点，例如设计的输出。须可探测，例如可检查的行为和表现为失效。覆盖和功能覆盖这样的技术可以保证设计代码被激活。然而的传递，以及缺陷可以被检查程序和/或断言语句检测出来
【学位授予单位】：合肥工业大学
【学位级别】：硕士
【学位授予年份】：2009
【分类号】：TP368.11

【相似文献】

相关期刊论文 前10条

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

2 杨安生;黄世震;;基于ARM SoC的FPGA原型验证[J];电子器件;2011年03期

3 侯超;彭大芹;曾俊威;;利用VMM搭建NAND Flash控制器验证平台[J];广东通信技术;2011年06期

4 艾飞;徐伯庆;孙国强;;光学图像的DSP压缩处理[J];光学仪器;2009年02期

5 魏婷;张喜民;;ARINC659总线验证平台节点设计与实现[J];航空计算技术;2011年04期

6 章林柯;王力;王艳武;;基于VMM方法学的系统级软硬件协同仿真验证[J];微型机与应用;2011年12期

7 段欣;陈利光;王健;来金梅;鲍丽春;;可进化芯片的FPGA接口设计与实现[J];计算机工程;2011年13期

8 吴健;吴星明;陈伟海;;三维景深数据采集和图像重构系统研究[J];中国测试;2011年04期

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

10 姚钢;;S2C原型验证平台让IP快速得到通行证[J];电子设计技术;2011年07期

相关会议论文 前10条

1 龚成;段艳丽;郑荣;樊昌周;;基于定点DSP芯片实现的心音辅助诊断仪[A];信号与信息处理技术第三届信号与信息处理全国联合学术会议论文集[C];2004年

2 张飞;廖云鹏;何继善;;DSP芯片在人体三维重建三角化中的应用[A];当代矿山地质地球物理新进展[C];2004年

3 杨克己;;基于DSP的数字式动平衡测量系统及其关键技术的研究[A];第三届全国信息获取与处理学术会议论文集[C];2005年

4 王廷银;;AD7846及其基于DSP芯片信号发生器的设计[A];中国仪器仪表学会第六届青年学术会议论文集[C];2004年

5 单梁;李军;王执铨;;时空混沌序列在语音保密通信中的应用[A];江苏省自动化学会七届四次理事会暨2004学术年会青年学者论坛论文集[C];2004年

6 尹勇生;胡永华;周干民;;PCI总线接口的验证平台及测试图形生成[A];2004全国测控、计量与仪器仪表学术年会论文集（上册）[C];2004年

7 管龙腾;李筠;晏路成;;基于TMS320LF2407的无纸记录仪系统的实现[A];中国仪器仪表学会第九届青年学术会议论文集[C];2007年

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

9 赵为;余世杰;沈玉梁;苏建徽;王斯成;王德邻;;基于DSP芯片的多功能光伏并网发电系统[A];中国第六届光伏会议论文集[C];2000年

10 栗芬环;;Matlab和Modelsim数字前端设计、仿真验证平台[A];2009通信理论与技术新发展——第十四届全国青年通信学术会议论文集[C];2009年

相关重要报纸文章 前10条

1 记者 王婷婷;中国DSP芯片问世上海[N];国际金融报;2003年

2 湘蓉;杰尔发布新款DSP芯片[N];通信产业报;2003年

3 ;DSP芯片及其测试[N];中国电子报;2003年

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

5 宗翰;德仪推出90纳米工艺DSP芯片[N];电子资讯时报;2004年

6 赛迪顾问股份有限公司 万江洪;中国DSP市场超过126亿元[N];中国电子报;2004年

7 ;中国电子产品告别无芯时代 “汉芯一号”在沪亮相[N];中国有色金属报;2003年

8 记者 陈卫东;我国芯片技术获重大突破[N];科技日报;2003年

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

10 陈健;DSP：数字化时代的基石[N];中国电子报;2003年

相关博士学位论文 前6条

1 栾静;模型驱动的系统级软硬件协同设计若干关键技术研究[D];华东师范大学;2006年

2 覃胜;语言学习系统学生终端机的数字化研究[D];重庆大学;2004年

3 张溯;集成电路工程学及IP评测技术的研究[D];合肥工业大学;2004年

4 周航军;分布式大规模虚拟环境消息序一致性时间管理技术研究[D];国防科学技术大学;2011年

5 刘扬帆;硬件事务存储微体系结构及其验证研究[D];浙江大学;2012年

6 殷燎;面向SoC的IP核及嵌入式处理器功能验证方法研究[D];浙江大学;2010年

相关硕士学位论文 前10条

1 梁琛;SDH芯片验证平台的设计[D];西安电子科技大学;2007年

2 乔丽萍;基于IP的USB Audio的设计与验证[D];西安电子科技大学;2008年

3 王旭;图形处理器的仿真验证[D];哈尔滨工业大学;2007年

4 范瑞玉;基于FPGA的SoC芯片验证平台设计[D];复旦大学;2008年

5 王嘉良;SoC可重用验证平台研究与开发[D];东华大学;2011年

6 谭安菊;数字系统实时验证技术研究[D];中国工程物理研究院;2005年

7 王立华;基于FPGA的系统芯片（SoC）原型验证研究与实现[D];山东大学;2006年

8 何叶东;IP芯核设计和验证技术的研究[D];合肥工业大学;2005年

9 李树杰;中科SoC通用验证平台及验证方法学研究[D];山东科技大学;2005年

10 胡建国;高性能微处理器的验证技术研究[D];国防科学技术大学;2004年

本文编号：2663286