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

来源 :湖南大学 | 被引量 : 0次 | 上传用户:niujicun
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在数字芯片设计中,规模越来越大,功能验证已经成为芯片设计的一个瓶颈,设计团队得花50%~70%的时间进行功能验证。传统的验证方法难以构建复杂的验证场景,并且边缘场景难以覆盖。随着业界提出受限随机矢量生成验证方法,验证的效率和质量得到大大提高。Specman Elite验证平台基于该验证方法,其支撑语言为E语言。E语言做为一种高级验证语言具有很大的灵活性,提供基于约束驱动的随机向量产生,自动的数据及协议检查和自动的功能覆盖的解决方案。本文基于Specman Elite验证平台对WCDMA系统的无线基带芯片中的消息解调协处理器进行功能验证。首先,阐述了消息解调协处理器的实现方案。消息解调协处理器采用ARM与ASIC的软硬件协作方式实现,在满足性能的基础上大大节省了资源并且提供了良好的灵活性和可升级性。然后,详细说明了消息解调协处理器功能验证环境的搭建过程,验证环境中各个模块的设计实现。利用Specman Elite平台提供的eRM结构搭建验证平台,大大提高了验证平台的重复利用度。消息解调协处理器验证平台应用受限随机矢量生成的验证方法和覆盖率驱动验证方法自动随机生成输入激励对复杂系统进行功能验证。相比传统验证方法,避免了单调繁琐的手工编写测试向量,更容易覆盖到逻辑功能的临界情况,有效地发现了大量设计错误,提高了验证工作的效率和质量。最后,分别对功能覆盖率和代码覆盖率统计进行分析,均达到100%,说明验证过程非常充分。
其他文献
美国移民文化主要强调的是追求民主自由,崇尚开拓竞争,讲究理性和实用,尤其强调的是个人的价值。我们都知道,美国是一个移民国家,其祖先来自世界各地。美国文化的形成就与这
近些年来电子装配工艺逐渐向自动化的方向发展,比如自动化的电子插装设备,电子点胶设备的开发和应用。电子元器件插装点胶完成以后,往往要装配有孔的盖板类零件,要求引线端点
针对中小企业集合债券发行过程中遇到的风险计量和担保困境,以月收益变化率为切入点推导出发债企业间的违约相关系数、集合债券期望损失和期望损失率,给出集合债违约风险计量
随着生态旅游的兴起以及旅游业的多元化快速发展,湿地生态旅游逐渐受到人们的关注和亲近。湖北省湿地资源丰富多样,发展湿地生态旅游的条件优越,但在开发湖北湿地生态旅游资
目前一方面我国北方部分高校宿舍楼是八九十年代的老建筑空间,但是现在的大学生主要是85后甚至是90后,他们对于宿舍建筑空间有功能、行为、技术等方面要素的要求,一方面过去
本文运用进化博弈理论和企业竞争战略理论对于企业运用电子商务的过程进行了分析,指出获取长期竞争优势是企业运用电子商务的根本动机,并对电子商务给企业带来竞争优势的机制
刻蚀工艺要求具有良好的工艺精确性和重复性,但是当在同一个刻蚀腔内连续混合刻蚀差异较大的不同工艺时,一些关键工艺的规格往往会发生很大的偏移。本文通过硬掩模工艺的实验
2015年,上海电影在全国市场迅猛发展和地方政府政策的助力下,呈现出良好的发展势头。创作数量稳定增长,创作新力量不断涌现,电影产业发展新路径积极尝试,在商业类型片、主流
金融服务系统中的智能卡密码验证安全系统是由目前安全性最强的128位SSL安全通信协议算法及国际标准的PKI公钥算法体系结构构成,本论文将以此为主,来分析现有系统的结构构成
针对污水处理厂污泥脱水滤液有机磷污染现状,采用树脂分级、傅里叶红外光谱和气相色谱质谱等方法解析其污染特征和组分结构,进而开展强化去除研究,并初步探究OP的降解转化过