基于VMM的高效率单元验证平台设计

来源 :电子科技大学 | 被引量 : 4次 | 上传用户:z1055622913
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着集成电路设计规模的不断增大,芯片的功能验证面临的挑战越来越大。传统的验证平台在可重用性、扩展性以及验证效率等方面的缺点越来越明显,已经成为ASIC开发的瓶颈。为了弥补设计规模与验证技术之间的差距,验证工程师和一些EDA公司不断提出高级的验证语言和验证方法学,提高验证的效率本文采用SystemVerilog验证语言,针对一款GPON OLT MAC芯片的PLOAM功能模块,设计实现了基于VMM (Verification Methodology Manual)验证方法学的层次化验证平台。该验证平台具有基于事务的处理机制,而且可以随机配置以及激励。在很大的程度上提高了验证效率。但是传统的VMM验证平台仅仅局限于将DUT (Design Under Test)要处理的数据抽象成事务,而将其他的一些配置内部寄存器等归入BFM (Bus Function Module)组件之列。此外,对接口之间信号的时序验证存在着不足之处。所以,本文对传统VMM验证平台做了一些改进:将CPU配置内部寄存器同样抽象成事务,扩展出能够被其他验证平台直接重用的子模块CPU_ENV。通过扩展vmm_data类而来的CFG组件,改进了传统验证平台中CPU读写DUT内部寄存器实现方式。此外,在对配置以及激励数据随机的时候,引入功能覆盖率驱动的验证,将随机验证与验证效率做了很好的平衡。最后,本文在接口处添加了基于断言的验证,用来检查接口之间的时序是否正确。论文简要介绍了基于仿真的功能验证技术,基于SystemVerilog语言的VMM验证方法学,GPON系统以及PLOAM模块的工作原理,详细阐述了PLOAM模块的VMM验证平台软件设计。基于传统验证模型的不足之处,详细介绍了改进以后的验证平台实现方式,引入覆盖率驱动、断言验证等高级验证方法,增强验证的完备性。最后对整个平台进行仿真,证明此验证平台具有自动化和随机测试以及很高的可重用性、可集成性等特点,可以显著提高验证的完备性和效率。
其他文献
信息技术的迅猛发展使人类社会传统的政治、经济、军事、外交等活动都发生了革命性的变化,而电子外交正是信息技术与传统外交耦合的产物。美国凭借其遥遥领先的信息网络技术,最
做好软件的需求管理是软件公司的一大重要任务。本文对项目需求工程理论进行了简要的分析与总结,并基于这一理论对如何做好软件需求管理的技术要点进行了分析与探讨,旨在为基
安全生产事故的发生一般都存在一个规律,就是“能量释放、能量转换”或者是“化学反应”,又或者是“化学反应”后产生的能量释放。前两者是基本物理现象,后者是能量产生的方
振动传感器的安装和传感器的选择是同等重要的,本文通过对几种振动传感器安装方式的简单介绍,再对每种安装方式的灵敏度及频率响应进行试验分析比对,得出在不同应用场合下最适宜
基于涑水河的特点,提出了适合于涑水河河道的干旱和半干旱流域需水预测模型,探讨了自适应变尺度粒子群-RBF神经网络模型在需水预测中的可能性。结果表明,涑水河流域需水量与
Android是由Google公司推出的手机系统开发平台。本文对基于Android的个性化天气预报系统进行了研究及软件实现。采用JAVA语言设计天气预报程序,并进行了界面设计、利用Googl
目的了解仁寿县2013—2017年肺结核流行病学特征,为该县结核病的防治工作提供依据。方法利用中国疾病预防控制信息系统的仁寿县肺结核疫情资料,采用描述流行病学方法,对仁寿
西蜀园林以历史名人纪念园林为代表,呈现出浓郁的纪念性特征。竹子作为西蜀地域的特色植物,与该类园林结下了不解之缘,是园林造景中不可或缺的植物。通过探寻竹文化产生发展
以南京市为例,以网络游记为基本数据源,提出了旅游数字足迹结构化表达和建库方法,并结合文本分析和GIS时空间分析方法,从旅游形象、游客行为时序变异及空间格局等方面分析了
随着冷弯薄壁型钢结构住宅逐渐由低层向高层发展,对其覆板墙体双肢立柱轴压承载力的研究就显得尤为必要。然而,目前国内外仅对无覆板的双肢立柱轴压承载力进行了一些研究,而未考