收藏本站
收藏 | 论文排版

SoC可重用验证平台研究与开发

王嘉良  
【摘要】:随着SoC设计的规模和复杂度的日益增加,其验证工作也日益繁杂,验证难度也逐渐递增。由于验证环节往往可能占到整个SoC开发周期的半数70%以上,而且验证能力目前远落后于设计能力和生产能力,验证已经成为制约SoC设计和应用的最主要瓶颈。验证方法学及其应用已成为国际性的研究热点和关键技术。新兴的OVM验证方法学(Open Verification Methodology)的目标便是为SoC时代提供高效的验证方法和统一的验证平台的标准,被视为最有希望突破上述瓶颈的发展方向。 本文针对当今SoC系统验证所面临的挑战(困境),首先在分析传统验证环境的优缺点的基础上,较深入地研究了新兴的OVM验证方法学的基本原理、平台框架和实施要点,特别是如何实现功能验证的可重用性、可扩展性,以及如何针对SoC系统验证的需求,提供高效、完整的验证方案。其次,以OVM验证方法学为指导,结合某设计项目,利用SystemVerilog语言等实际开发了系统验证平台(原型)。该平台在系统建模方面引入了面向对象的设计思想,利用事务级建模技术来实现验证平台的层次化和模块化;在仿真RTL的被测对象时,各模块同时运行,实时比对,及时报告错误信息,实现错误收集和定位。该平台(原型)因而具有模块化、可裁剪、可复用和高效率等特点。最后,本文讨论了SoC验证平台的优化方法,探讨了如何进一步提高其可重用性和验证效率。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 常勇;;利用RVM搭建SOC芯片的高效验证平台[J];电子测试;2007年05期
2 罗鹏;许应;封君;;基于FPGA的SoC/IP验证平台的设计与应用[J];电子技术应用;2008年10期
3 常勇;;基于RVM的SOC验证方法与技术[J];电子测试;2007年Z1期
4 杨安生;黄世震;;基于ARM SoC的FPGA原型验证[J];电子器件;2011年03期
5 常勇;申敏;;一种基于事务的SoC功能验证方法[J];微计算机信息;2008年17期
6 葛晨阳;王东;孙宏滨;张超;张斌;;一种可重构的数字视频处理SoC芯片验证平台[J];微电子学与计算机;2009年02期
7 常勇;;基于RVM的层次化SOC芯片验证平台设计及应用[J];电子设计应用;2007年05期
8 申敏;曹聪玲;;基于SoC设计的软硬件协同验证技术研究[J];电子测试;2009年03期
9 万超;申敏;张亚楠;;通道在层次化验证平台中的应用[J];电子测试;2007年05期
10 郭新刚;田泽;;基于FPGA的SoC/IP验证平台的应用[J];软件导刊;2009年05期
11 杜宁;郑建宏;;一种可重用的SOC验证平台[J];微计算机信息;2008年05期
12 章林柯;王力;王艳武;;基于VMM方法学的系统级软硬件协同仿真验证[J];微型机与应用;2011年12期
13 张花娟;龚龙庆;;面向SoC开发的协同验证平台的实现方法[J];现代电子技术;2007年05期
14 任浩琪;;软硬件协同的SOC设计方法[J];集成电路应用;2005年11期
15 丰玉田;付宇卓;赵峰;;大规模SoC设计中的高效FPGA验证技术的研究与实现[J];电子技术应用;2006年02期
16 魏小义;李平;廖永波;贾宇明;;基于Transaction模式的SoC软硬件协同验证策略[J];陕西理工学院学报(自然科学版);2006年02期
17 耿慧;梁维谦;董明;刘润生;;基于FPGA的语音识别SoC系统解决方案[J];电声技术;2009年10期
18 李哲;田泽;杨峰;张荣华;王治;;基于AFDX网络终端系统SoC的FPGA原型验证[J];航空计算技术;2010年02期
19 曹庆年;强新建;田泽;;AFDX-ES芯片设计中主机端接口的设计与验证[J];西北大学学报(自然科学版);2009年05期
20 蒋斌 ,夏钢;基于C*SoC200的32位税控机专用系统芯片设计[J];电子设计应用;2004年03期
中国重要会议论文全文数据库 前10条
1 陈远金;鞠莉娜;刘彬;;基于FPGA的SOC设计验证与开发[A];第六届中国测试学术会议论文集[C];2010年
2 杜涛;李爱魁;马军;刘飞;;动力电池SOC预估方法研究进展[A];第十四届中国科协年会第19分会场:电动汽车充放电技术研讨会论文集[C];2012年
3 杨年宏;王伟;岳学民;陈田;;一种热量敏感的3D SoC并行测试方法研究[A];第六届中国测试学术会议论文集[C];2010年
4 张志敏;;聚芯SoC,让嵌入式系统简单化![A];全国第一届信号处理学术会议暨中国高科技产业化研究会信号处理分会筹备工作委员会第三次工作会议专刊[C];2007年
5 沈剑良;严明;李思昆;刘磊;;层次化互连结构的嵌入式可视媒体处理SoC系统的设计与实现[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集(B辑)[C];2011年
6 柳刘;金培权;周英华;岳丽华;;一种可重用和可重构的ERTDBS软件体系结构[A];第二十一届中国数据库学术会议论文集(技术报告篇)[C];2004年
7 骆丽;李哲英;张丹;刘海洋;;TMS320VC5510的水印应用系统设计[A];第十届全国信号处理学术年会(CCSP-2001)论文集[C];2001年
8 丁岩松;徐学航;张新喜;;SoC设计中的事务级测试平台的构建及重用[A];全国第4届信号和智能信息处理与应用学术会议论文集[C];2010年
9 马秦生;魏翠;孙力军;秦鸣;曹阳;;嵌入式SoC总线分析与研究[A];中国通信集成电路技术与应用研讨会文集[C];2006年
10 颜学龙;李明太;李志娟;;基于遗传算法的SoC测试测试结构优化[A];2007'仪表,自动化及先进集成技术大会论文集(一)[C];2007年
中国博士学位论文全文数据库 前10条
1 殷燎;面向SoC的IP核及嵌入式处理器功能验证方法研究[D];浙江大学;2010年
2 桑胜田;基于相关性的SoC软硬件划分技术研究[D];哈尔滨工业大学;2010年
3 门长有;电能计量算法及其SoC实现[D];浙江大学;2009年
4 曹贝;SoC低功耗测试技术和温度意识测试规划研究[D];哈尔滨工业大学;2010年
5 戈志伟;面向CIS图像处理SoC的算法、架构及复杂多媒体SoC中通信网络研究[D];天津大学;2012年
6 邓立宝;SOC测试时间优化技术研究[D];哈尔滨工业大学;2012年
7 王大伟;SoC软硬件协同设计中的高层映射技术研究[D];国防科学技术大学;2009年
8 李东军;基于复杂客户网络的SOC芯片产业化模式研究[D];大连海事大学;2011年
9 徐艳;中国北方主要农业生态区土壤有机碳储量变化及其经济学解释[D];中国农业大学;2005年
10 马士超;实时数字安全处理器研究与设计[D];中国科学院研究生院(计算技术研究所);2006年
中国硕士学位论文全文数据库 前10条
1 王嘉良;SoC可重用验证平台研究与开发[D];东华大学;2011年
2 范瑞玉;基于FPGA的SoC芯片验证平台设计[D];复旦大学;2008年
3 王立华;基于FPGA的系统芯片(SoC)原型验证研究与实现[D];山东大学;2006年
4 林鑫;通用SOC验证平台的搭建与方法研究[D];西安电子科技大学;2009年
5 强亚东;基于ARM7核的SoC芯片软硬件协同验证[D];西北大学;2008年
6 林瞬婷;面向多处理器核SOC的软硬件协同验证平台研究[D];浙江大学;2007年
7 姚晋鹏;SoC软硬件协同验证平台监控系统设计与实现及综合测试[D];电子科技大学;2006年
8 王颖;快速可变目标的IA指令集仿真器的初步研究[D];华北电力大学(北京);2006年
9 李勇;高效图像压缩SoC系统设计及验证[D];西安电子科技大学;2010年
10 朱晟伟;SoC测试数据压缩方法研究[D];复旦大学;2010年
中国重要报纸全文数据库 前10条
1 本报记者 那罡;东软SOC让企业安全状况一目了然[N];中国计算机报;2011年
2 电脑商报记者 张戈;像生产汽车一样生产SOC[N];电脑商报;2009年
3 边歆;SOC进入2.0时代[N];网络世界;2009年
4 本报记者 胡英;SOC在纠结中发展[N];计算机世界;2010年
5 中国国际航空公司信息管理部 杨楠;国航SOC建设中的那些人和事[N];计算机世界;2010年
6 联想网御公司供稿;莫让SOC成为“垃圾电影”[N];计算机世界;2010年
7 刘;网御神州率先开启SOC 2.0时代[N];电脑商报;2009年
8 ;SOC的四大问题[N];计算机世界;2010年
9 本报记者 谷艳丽;SOC改变“发现漏洞、亡羊补牢”老套路[N];中国计算机报;2011年
10 大唐微电子技术有限公司总经理 魏少军;SOC是系统与芯片的融合[N];中国电子报;2001年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978