收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于Specman Elite平台的消息解调协处理器功能验证

段永波  
【摘要】: 在数字芯片设计中,规模越来越大,功能验证已经成为芯片设计的一个瓶颈,设计团队得花50%~70%的时间进行功能验证。传统的验证方法难以构建复杂的验证场景,并且边缘场景难以覆盖。随着业界提出受限随机矢量生成验证方法,验证的效率和质量得到大大提高。Specman Elite验证平台基于该验证方法,其支撑语言为E语言。E语言做为一种高级验证语言具有很大的灵活性,提供基于约束驱动的随机向量产生,自动的数据及协议检查和自动的功能覆盖的解决方案。 本文基于Specman Elite验证平台对WCDMA系统的无线基带芯片中的消息解调协处理器进行功能验证。首先,阐述了消息解调协处理器的实现方案。消息解调协处理器采用ARM与ASIC的软硬件协作方式实现,在满足性能的基础上大大节省了资源并且提供了良好的灵活性和可升级性。然后,详细说明了消息解调协处理器功能验证环境的搭建过程,验证环境中各个模块的设计实现。利用Specman Elite平台提供的eRM结构搭建验证平台,大大提高了验证平台的重复利用度。消息解调协处理器验证平台应用受限随机矢量生成的验证方法和覆盖率驱动验证方法自动随机生成输入激励对复杂系统进行功能验证。相比传统验证方法,避免了单调繁琐的手工编写测试向量,更容易覆盖到逻辑功能的临界情况,有效地发现了大量设计错误,提高了验证工作的效率和质量。最后,分别对功能覆盖率和代码覆盖率统计进行分析,均达到100%,说明验证过程非常充分。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 吴支平;臧利斌;;基于HCS12X系列双核微处理器的μC/OS-Ⅱ改进[J];汽车零部件;2011年03期
2 ;动向[J];电子商务;2011年07期
3 ;新品发布[J];今日电子;2011年08期
4 宋庆增;顾军华;;共轭梯度求解器的FPGA设计与实现[J];计算机应用;2011年09期
5 韩霜;;德州仪器推出完整的小型蜂窝基站解决方案[J];世界电子元器件;2011年08期
6 徐俊毅;;TI为小型蜂窝基站开发提供先进架构[J];电子与电脑;2011年08期
7 李凤海;张佰龙;;云计算中密码应用模式初探[J];信息网络安全;2011年09期
8 徐俊毅;;赛普拉斯开拓移动手持设备USB 3.0市场[J];电子与电脑;2011年08期
9 王雄勇;;基于DM365的视频编码器的硬件设计[J];电子设计工程;2011年08期
10 李静秋;;手持式电缆测试仪设计[J];光机电信息;2011年09期
11 杨玲秋;;网络处理器技术分析[J];硅谷;2011年14期
12 丛秋波;;全新West Bridge外设控制器为移动手持设备提供USB 3.0[J];电子设计技术;2011年09期
13 丛秋波;;小型蜂窝基站方案具备双模支持和综合软件套件[J];电子设计技术;2011年09期
14 Sebastian Schreuder;;软件无线电使汽车收音机能够同时支持多种数字广播标准[J];电子产品世界;2011年08期
15 ;Cypress发布West Bridge外设控制器,为移动手持设备提供USB 3.0[J];电子产品世界;2011年08期
16 董静薇;穆英华;侯涛;孙博凯;;RISC嵌入式系统存储器管理的软件优化[J];哈尔滨理工大学学报;2011年03期
17 李志方;钟洪声;;IEEE802.15.4的CC2530无线数据收发设计[J];单片机与嵌入式系统应用;2011年07期
18 鄢斌;;一种可信计算平台的安全实现机制的FPGA实现[J];计算机与数字工程;2011年06期
19 王鹏飞;张发存;段敬红;;数据并行计算机体系结构研究[J];计算机工程;2011年15期
20 张娴;宋华俐;;浅谈基于网络处理器的局域网无线通信设计[J];科技创业月刊;2011年12期
中国重要会议论文全文数据库 前10条
1 郭前岗;;适用于矢量控制的高性能运动控制协处理器ADMC201及其应用[A];1998中国控制与决策学术年会论文集[C];1998年
2 王培元;杨卫东;杨志刚;王学秀;;基于PowerPC的FPGA协处理器的研究[A];冶金企业自动化、信息化与创新——全国冶金自动化信息网建网30周年论文集[C];2007年
3 孟宪元;;FPGA实现DSP系统的结构模型[A];全国第二届嵌入式技术联合学术会议论文集[C];2007年
4 许强;徐凯;;一维长序DFT的协处理阵列结构设计与实现[A];2006年全国开放式分布与并行计算学术会议论文集(二)[C];2006年
5 刘磊;;基于便签式存储器的SoC多处理器访存结构设计与实现[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
6 周辉;晏磊;赵红颖;高鹏骐;杨福兴;;基于多核处理器DM270的高分辨率CMOS成像系统设计[A];中国感光学会第七次全国会员代表大会暨学术年会和第七届青年学术交流会论文摘要集[C];2006年
7 陈广宁;;如何测试PC软硬盘驱动器参数[A];广西计算机学会2008年年会论文集[C];2008年
8 杨勃航;常淑桂;李国民;唐书国;林令涛;;多软核结构的软件无线电设计方法[A];中国空间科学学会空间探测专业委员会第十九次学术会议论文集(下册)[C];2006年
9 郅晨;刘慧念;;TI达·芬奇平台技术给我们带来了什么[A];图像图形技术与应用进展——第三届图像图形技术与应用学术会议论文集[C];2008年
10 刘海清;陆洪毅;童元满;;基于随机掩码的AES算法抗DPA攻击硬件实现[A];全国计算机安全学术交流会论文集(第二十三卷)[C];2008年
中国博士学位论文全文数据库 前10条
1 郑裕峰;高速包分类协处理器及网络平台研究[D];中国科学技术大学;2007年
2 张晓明;网络处理器设计的若干关键技术研究[D];国防科学技术大学;2006年
3 杜学亮;定制指令与协处理器加速机制的研究[D];中国科学技术大学;2009年
4 吴丹;高效能计算型存储器体系结构关键技术研究与实现[D];华中科技大学;2012年
5 陈毅成;无线传感器网络节点芯片安全增强策略研究[D];华中科技大学;2008年
6 孟建熠;超标量嵌入式处理器关键技术设计研究[D];浙江大学;2009年
7 段然;嵌入式可重构DSP体系结构研究[D];西北工业大学;2005年
8 李奇越;网络内容分析中基于硬件的字符串匹配算法的研究[D];中国科学技术大学;2008年
9 周杰;合成孔径雷达数据处理应用的细粒度并行算法与结构[D];国防科学技术大学;2010年
10 任小西;基于可重构计算的高可靠星载计算机体系结构研究[D];湖南大学;2007年
中国硕士学位论文全文数据库 前10条
1 段永波;基于Specman Elite平台的消息解调协处理器功能验证[D];湖南大学;2010年
2 庞博;高性能专用数字协处理器的设计与测试[D];电子科技大学;2009年
3 张朝华;基于EFI/Tiano的协处理器模型的设计与实现[D];上海交通大学;2007年
4 樊金巧;基于EDA技术的图像边缘检测协处理器研究[D];武汉理工大学;2006年
5 姜天杰;无线传感器网络MAC控制器的软硬件设计与验证[D];华中科技大学;2008年
6 董隽;基于DSP的图像处理[D];南京理工大学;2004年
7 张薇;可靠通信服务模型及实例研究:Net SPU[D];兰州大学;2009年
8 陈尧;面向空间机器人运动控制的高速协处理器的研究[D];北京邮电大学;2008年
9 高路;面向语音编解码算法的高性能SOC架构的研究[D];中国科学技术大学;2009年
10 怀莲;IEEE 802.15.4 CCM-AES协处理器的研究与设计[D];华中科技大学;2010年
中国重要报纸全文数据库 前10条
1 徐淼;四核心与多核心处理器的发展[N];中国计算机报;2007年
2 ;TD-SCDMA手机采用协处理器[N];网络世界;2001年
3 谢文砚;非x86处理器将再度繁荣[N];中国计算机报;2008年
4 赵艳秋;手机青睐可拓展方案 IC设计转攻应用处理器[N];中国电子报;2007年
5 电脑商报记者 祁萌;曙光研制HPC协处理器部件[N];电脑商报;2007年
6 ;采用协处理器的TD-SCDMA手机设计[N];人民邮电;2001年
7 Altera公司高级产品行销经理 Paul Ekas;FPGA协处理器优化汽车信息系统设计[N];中国电子报;2004年
8 姜波;用户眼中x86技术的未来[N];网络世界;2006年
9 姜波;AMD亮剑[N];网络世界;2006年
10 岳婷;AP面临基带和协处理器竞争[N];中国电子报;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978