收藏本站
《国防科学技术大学》 2012年
收藏 | 手机打开
二维码
手机客户端打开本文

YHFT-DX高性能DSP芯片的功能验证

高维娜  
【摘要】:随着芯片设计规模的急剧增大,如何在短时间内有效验证整个芯片的功能已经逐渐成为产品快速上市的瓶颈。相关数据表明,验证工作已经占据整个设计周期的70%以上,因此如何提高验证效率,减少验证人员的工作量,并改善验证过程成了一个迫切需要解决的问题。 大规模数字集成电路中的功能验证技术主要有:模拟验证、FPGA仿真和形式化验证。如何合理利用各种验证技术提高验证效率,对芯片设计具有非常重要的现实意义。本课题的主要研究内容是: 1.以YHFT-DX芯片CPU内核为实例,研究基于模拟的功能验证技术。针对芯片的特殊结构搭建模拟验证平台,生成模拟验证的测试激励。另外,论文还以YHFT-DX内核测试芯片为例,对后仿真作了相关的研究。 2.对YHFT-DX芯片进行了FPGA仿真验证的研究,包括ASIC设计到FPGA设计的代码移植,FPGA仿真验证平台的设计等等。 3.以YHFT-DX芯片为实例研究基于等价性检查的形式验证技术,使用的软件工具为Synopsys公司的Formality,对设计中优化过程中的三态门问题、门控时钟问题等进行研究,并提出相应的解决方案,完成了YHFT-DX芯片中CPU内核、条件寄存器、访存部件和寄存器文件的功能验证。 4.设计了YHFT-DX内核测试芯片的板级测试平台,对流片之后的YHFT-DX内核测试芯片进行了功能、频率、时钟、扫描链等方面的测试。
【学位授予单位】:国防科学技术大学
【学位级别】:硕士
【学位授予年份】:2012
【分类号】:TN407

【参考文献】
中国期刊全文数据库 前5条
1 王红;彭亮;于宗光;;FPGA现状与发展趋势[J];电子与封装;2007年07期
2 丰玉田;付宇卓;赵峰;;大规模SoC设计中的高效FPGA验证技术的研究与实现[J];电子技术应用;2006年02期
3 江霞林;周剑扬;杨银涛;林晓立;;基于FPGA的软硬件协同仿真加速技术[J];中国集成电路;2010年08期
4 郭阳,李暾,李思昆;微处理器功能验证方法研究[J];计算机工程与应用;2003年05期
5 刘卓军;吴尽昭;;集成电路验证技术[J];中国基础科学;2007年03期
【共引文献】
中国期刊全文数据库 前10条
1 延明;;基于FPGA的视频监控系统的防抖动研究[J];安防科技;2007年09期
2 何玉东;刘涛;;基于FPGA的离散傅立叶变换[J];安徽电子信息职业技术学院学报;2006年02期
3 曹丽苹;张秀芹;;基于分布式算法的FPGA技术在FIR数字滤波器中的应用[J];保定职业技术学院;2006年02期
4 陈慧星;郝阿明;程虎;;基于Kalman的电-永磁混合磁悬浮系统过流检测[J];兵工自动化;2007年08期
5 李保柱;张其善;杨东凯;;GPS卫星信号模拟器中频信号处理与实现[J];北京航空航天大学学报;2006年07期
6 王广平,马选谋,岳喜成;一种基于FPGA的数字锁相环测速实现方法[J];宝鸡文理学院学报(自然科学版);2005年01期
7 叶敏;周文晖;顾伟康;;基于FPGA的实时图像滤波及边缘检测方法[J];传感技术学报;2007年03期
8 杨振宇,高峰,刘志言,沈毅;强震观测系统中数字抽取滤波器的实现研究[J];传感器技术;2005年08期
9 孟华;赵姣;;一种基于FPGA的高速自整角机数字解算方法[J];传感器与微系统;2007年08期
10 黄红兵;曹敦;吴志敏;;软件无线电中的A/D转换技术研究[J];长沙交通学院学报;2007年04期
中国重要会议论文全文数据库 前6条
1 王卓;王祖林;;基于DSP与FPGA协同处理的视频压缩与传输系统硬件设计[A];全国第一届嵌入式技术联合学术会议论文集[C];2006年
2 孙实泽;张学森;杜春鹏;;基于FPGA可变FIR滤波器组设计及实现[A];全国第一届嵌入式技术联合学术会议论文集[C];2006年
3 何永泰;;基于FPGA实现DFT的DA算法研究与改进[A];2007'中国仪器仪表与测控技术交流大会论文集(二)[C];2007年
4 夏惊雷;范建华;王庭昌;;高阶FIR数字滤波器的优化设计与实现[A];2005通信理论与技术新进展——第十届全国青年通信学术会议论文集[C];2005年
5 陈石平;李全;刘洁;段吉海;;基于CORDIC的64QAM调制器的ASIC设计[A];中国通信学会第五届学术年会论文集[C];2008年
6 陈王骞;胡钢;;DMT调制中的高精度FFT实现[A];中国通信学会第五届学术年会论文集[C];2008年
中国博士学位论文全文数据库 前10条
1 林琳;OFDM基带系统CFOs的估计及校正[D];中国科学院研究生院(长春光学精密机械与物理研究所);2011年
2 谢小东;可编程逻辑核关键技术研究[D];电子科技大学;2011年
3 李兵;超高频射频识别系统性能的分析与测试[D];湖南大学;2011年
4 周荣政;数码相机处理器设计及系统集成研究[D];复旦大学;2004年
5 黄全平;JPEG2000算法的VLSI实现及系统集成[D];复旦大学;2005年
6 王远模;星载毫米波雷达信号处理系统设计理论与实现[D];国防科学技术大学;2005年
7 尹勇生;可重构多流水计算系统研究[D];合肥工业大学;2006年
8 金数波;多用户接收机SOC设计技术研究[D];电子科技大学;2006年
9 肖建平;图像超分辨率算法与硬件实现研究[D];华中科技大学;2006年
10 刘守山;超声数字信号处理系统可重构架构的研究[D];浙江大学;2007年
中国硕士学位论文全文数据库 前10条
1 吕琛;基于FPGA的数字音频编解码系统的研究[D];安徽工程大学;2010年
2 张博;高动态卫星定位接收机扩频信号同步技术研究[D];中国工程物理研究院;2009年
3 刘振飞;图像预处理算法的硬件实现[D];哈尔滨工程大学;2010年
4 舒宇;GPS软件接收机基带处理算法研究与FPGA实现[D];哈尔滨工程大学;2010年
5 付宇辉;基于MEMS航位推算系统的设计与实现[D];哈尔滨工程大学;2010年
6 尹龙;基于FPGA的实时缺陷检测方法研究[D];华东理工大学;2011年
7 董政;基于FPGA的高速MPSK/MQAM信号解调算法设计与实现[D];解放军信息工程大学;2009年
8 吴凡;某电子侦察系统中的数字信号处理模块硬件设计[D];电子科技大学;2011年
9 何斌;基于PC755和PC107A的单板计算机的开发[D];电子科技大学;2011年
10 王海娟;FPGA在雷达信号处理中的应用及误差分析[D];西安电子科技大学;2011年
【相似文献】
中国期刊全文数据库 前10条
1 喻临丰,郭尚来;DSP开发系统的设计与应用[J];微型机与应用;1995年01期
2 喻德顺;MCU的发展及其趋势[J];微处理机;1996年03期
3 陈芳,沈兰荪,涂承宇,王爱民;短波软件无线电[J];数字通信;1997年04期
4 张晖,宋星文,王扶文;用VB开发DSP的监控界面环境[J];微型电脑应用;1997年04期
5 周璇,余松煜;甚低码率视频编码器的TMS320C80实现[J];电子技术应用;1998年07期
6 张睿,李建东;一种实用的软件无线电结构[J];电子学报;1999年S1期
7 吕晖,董在望;基于软件无线电概念的DAB基带处理器[J];广播与电视技术;1999年12期
8 朱军;信号恒虚警检测的DSP实现[J];微机发展;1999年04期
9 陈三宝,徐泽群,房雪莲;基于DSP技术的实时信号分析系统研究[J];武汉交通科技大学学报;2000年04期
10 张锡宁;无线通信技术新发展──软件无线电[J];电气电子教学学报;2000年01期
中国重要会议论文全文数据库 前10条
1 王海波;陈书明;万江华;唐涛;;“飞腾-迈创”DSP面向布局的前端设计优化[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集(A辑)[C];2011年
2 甘金明;;基于DSP的路灯监控视频捕捉器设计[A];全国第二届信号处理与应用学术会议专刊[C];2008年
3 刘希凌;汪渤;郑智辉;;基于DSP+FPGA的机场视频辅助监控系统设计[A];中国自动化学会控制理论专业委员会D卷[C];2011年
4 陈树人;裴文超;尹东富;;基于DSP的棉田杂草实时识别试验研究[A];中国农业工程学会2011年学术年会论文集[C];2011年
5 龚敏;王林泓;龚卫国;杨利平;;基于DSP的心电检测及自诊断系统的设计[A];中国仪器仪表学会医疗仪器分会第四次全国会员代表大会暨2009年学术年会论文集[C];2009年
6 邹垚;张超;;基于DSP的人脸识别算法实现与优化[A];中国通信学会通信建设工程技术委员会2010年年会论文集[C];2010年
7 吴庆国;;A-律μ-律压扩的DSP实现方法研究[A];江苏省电子学会2010年学术年会论文集[C];2010年
8 高艳涛;张旭东;;基于多核DSP的脉冲压缩算法仿真[A];全国第五届信号和智能信息处理与应用学术会议专刊(第一册)[C];2011年
9 ;A Wavelet Transform Power Harmonic Detection Method Based on DSP[A];第二十九届中国控制会议论文集[C];2010年
10 李斌;孔祥东;董杰;;气体参数在线调整装置的DSP控制系统研究[A];中国机械工程学会流体传动与控制分会第六届全国流体传动与控制学术会议论文集[C];2010年
中国重要报纸全文数据库 前10条
1 本报记者 洪宾;开创中国芯片设计“芯邦模式”[N];深圳商报;2007年
2 圣景微电子(上海)有限公司 姚海平;虚拟的现实[N];中国电子报;2002年
3 记者  久乔;TD-SCDMA芯片厂商力推HSDPA商用[N];中国电子报;2006年
4 记者 任锐郭晓静;茂德重庆芯片项目获国务院批准[N];重庆日报;2007年
5 杨柳纯;深圳芯片设计产业群全面发力[N];深圳特区报;2007年
6 梁燕蕙 DigiTimes;Zoran获利的秘诀:别把鸡蛋放在一个篮子里[N];电子资讯时报;2007年
7 ;龙芯2、星光芯片取得技术市场双胜利[N];计算机世界;2005年
8 李昕;手机电视芯片引关注免费手机电视时代来临[N];大众科技报;2007年
9 许琳;士兰微:震荡中爬坡[N];中国电子报;2004年
10 宋宇;争取上游地位很明智[N];中国质量报;2006年
中国博士学位论文全文数据库 前10条
1 张波;测试芯片自动化设计与集成电路成品率提升研究[D];浙江大学;2012年
2 方芳;基于片上网络的众核芯片关键测试技术研究[D];合肥工业大学;2010年
3 李辉;改进的离散余弦反变换迭代算法研究与音频DSP核设计[D];电子科技大学;2010年
4 赵庆亮;基于DSP的自动平衡控制理论与方法研究[D];北京化工大学;2012年
5 孙科林;基于多核DSP的实时图像处理平台研究[D];电子科技大学;2012年
6 潘伟伟;纳米工艺集成电路可寻址测试芯片设计方法研究[D];浙江大学;2012年
7 王骏;细胞电旋转芯片的介电力场计算模型及系统构建[D];华中科技大学;2010年
8 王洪君;H.264运动估计快速算法研究及编码器DSP实现[D];天津大学;2009年
9 张兵;基于DSP的液压振动台功率谱复现研究[D];哈尔滨工业大学;2013年
10 肖传伟;智能相机的设计研究[D];中国科学院研究生院(长春光学精密机械与物理研究所);2006年
中国硕士学位论文全文数据库 前10条
1 万乐生;基于DSP的发动机试验台测控系统研究[D];杭州电子科技大学;2009年
2 张吉;基于DSP的虹膜采集与识别装置的研究[D];沈阳工业大学;2010年
3 李波;基于DSP和PCI的箭地接口卡设计[D];上海交通大学;2011年
4 顾俊俊;基于DSP的野外火灾图像识别的研究[D];南京航空航天大学;2010年
5 喻显茂;一种基于DSP的监测系统研究与开发[D];华中科技大学;2011年
6 杨忠;基于DSP无线数据传输系统设计与实现[D];上海交通大学;2012年
7 刘鹏程;基于DSP的海上油膜厚度测量数据采集系统的研究[D];天津大学;2010年
8 谢刚;FT-Matrix DSP向量定点MAC单元的设计与实现[D];国防科学技术大学;2010年
9 高维娜;YHFT-DX高性能DSP芯片的功能验证[D];国防科学技术大学;2012年
10 王巍;一种DSP建模调试及代码生成工具的设计与实现[D];西安电子科技大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026