基于VMM验证方法学的EECTRL验证环境搭建及覆盖率分析

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:chenpeng12333
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着SOC技术及IP技术的发展,设计及和验证的技术也在不断地发展,SOC技术缩短了芯片由最初的设计到产品面市的时间,在芯片的整个设计当中,验证的工作占据了大约70%的时间,而芯片流片失败的原因大部分是由验证工作不充分而引起的,因此,验证工作在SOC设计中占据了很重要的部分。如何搭建一个基于VMM方法学的验证环境并且通过分析覆盖率来完善验证工作,是本文的重点。本文是以一个EEPROM接口电路为例,搭建了一个可复用的模块级验证环境,该验证环境使用了VMM验证方法学,该验证方法学是基于System Verilog,通过搭建分层的验证平台,产生受约束的随机激励,最后产生覆盖率的报告,通过对覆盖率报告的分析,添加测试案例,来进一步提高覆盖率,本文中对EEPROM接口控制电路的验证环境搭建进行了详细的描述,搭建了一个可复用的验证平台,进行仿真,根据生成的覆盖率报告,增加了新的case,提高覆盖率。文中对验证的对象EERPOM的接口电路也进行了简单地概述,本文通过对验证环境搭建以及对验证流程的描述,突出了VMM验证方法学的优势。通过仿真以及对设计代码的debug,最终代码覆盖率与功能覆盖率均达到了100%,状态机覆盖率达到71.43%,经designer确认未覆盖的为异常情况,不需要提高。,从而达到了验证的目的。
其他文献
以在宁波工作或学习(短期或长期)的母语为非汉语的外籍人士为对象,调查了他们的汉语水平和使用情况,发现多数外籍人士在学习汉语的时间上投入不多,学习兴趣集中在文化了解,但也
2018年12月14日,“湿腾杯”第六届中国新风净化产业高峰论坛在京召开。本届高峰论坛由中国建筑金属结构协会净化与新风委员会主办,龙飞天传媒《舒适家居》编辑部承办。论坛吸
现代舰船上存在着大量电子设备、各类天线,电磁环境非常复杂,并且随着科学技术的进步,舰船平台还需要面临各种人为造成的电磁干扰,其中一种重要的干扰形式就是电磁脉冲武器的攻击
“韩国汉文小说”这一概念乃是袭用台湾林明德教授的提法,具体指古代韩国人用汉语写成的、表达韩国人民自身的社会生活和思想情感的文学作品。韩国汉文小说种类繁多,内容丰富
硬件描述语言(VHDL)是数字系统高层设计的核心,是实现数字系统设计新方法的关键技术之一。随着可编程逻辑器件在速度和集成度方面的飞速发展,越来越多的数字信号处理系统采用可
教学是一个师生互动、交流和沟通,促进相互的理解、认同,共同获致生命意义的过程。要实现这一过程,教学倾听艺术展现着无穷的魅力。教学倾听是师生课堂沟通的桥梁和纽带,它不
现代无线通信对数据传输速率提出了越来越高的要求,这促进了新型和复杂的信号处理技术的研究和应用。预编码技术就是一种在发射端利用信道状态信息对发送符号进行预处理,以提
体育舞蹈在我国是一项新兴的体育运动,本文将从项群理论的视角看体育舞蹈的某些表现特征,为迅速提高人们欣赏体育舞蹈能力提供一些参考。
目的观察奥乐V护牙剂对早期釉质龋的再矿化作用。方法将50个牛牙釉质块建立人工龋模型后随机分为5组:奥乐V护牙剂组、GC护牙素组、氟化钠(NaF)组、奥乐V护牙剂+NaF组、去离子
由于卡尔曼滤波器具有结构简单、性能最优、易于被掌握和应用等一系列的优点,其已被广泛应用于状态跟踪和估计等科学领域。值得一提的是,由于其线性的推导和计算过程,决定了