基于VMM的EEPROM控制器IP的功能验证

被引量 : 0次 | 上传用户:kongs874
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着集成电路技术的发展,芯片功能复杂度的增加以及芯片上市的市场需求time-to-market,使功能验证工作面临越来越大的压力和挑战。单次流片的成功率低和芯片的研发周期长是目前业界普遍存在的现象。而单次流片的失败往往是因为功能验证不完备导致存在功能缺陷,如何通过改进验证方法提高芯片的单次流片成功率,缩短芯片研发周期是本论文的研究重点。本文的主要内容是利用基于SystemVerilog语言的VMM(VerificationMethodology Manual)验证方法学搭建EEPROM控制器模块(EECTRL)的模块级验证平台。该验证平台具有随机约束、断言技术、面向对象、可重用等优点,可以显著提高验证效率,缩短产品的研发周期。该验证方法是以覆盖率为导向的,通过对功能覆盖率和代码覆盖率的分析,确保芯片功能验证的完备性,可以提高首次流片的成功率。详细研究了整个验证平台的搭建过程,说明了其中各个验证组件的功能和实现方式,阐述了如何利用随机约束完成期望功能的验证以及断言的使用,分析了验证环境中数据流及如何实现功能的自动化比对。讲述了搭建验证环境的调试过程和调试方法,最后给出了EECTRL模块的覆盖率统计结果,达到了预期的要求结束仿真验证。
其他文献
我国高速公路的发展目标正从公路建设的本身,向高速公路管理的现代化迈进,对“贷款修路、收费还贷”为主要模式的高速公路建设来说,随着高速公路路网的逐渐形成,对信息传输及交换
培养基(culture medium)是由人工方法配制而成,专供微生物生长、繁殖、代谢和产物的合成提供必需的营养物质。因此,培养基的组成和配比合适与否,对微生物的生长发育会产生相当大的
目的 探讨产前超声诊断胎儿单脐动脉畸形的声像图特征及其临床意义。方法 回顾性分析10例胎儿单脐动脉畸形及合并其他畸形声像图特点,并与产后结果及病理学检查对照。结果 产
强世功教授的《立法者的法理学》一书,从法律与现代政治关系的角度,提出了由“法律人的法理学”向“立法者的法理学”迈进的主张,对宪法文本、宪法解释和宪法司法化问题阐述
本文主要从广义党的政治建设视角,对十八大以来以习近平为核心的党中央党的政治建设思想进行探讨。新一届党中央,面对发生深刻变化的党情世情国情,中国共产党自身面临"四种考
中国传统文化博大精深,“无讼”思想是其中的一枝奇葩。中国传统“无讼”思想诞生于百家争鸣的春秋战国时代,儒、道、墨、法等流派相互影响,各自形成了对“无讼”的认识。随着汉
本文研究船舶设计中常用的CAD系统TRIBON和CATIA间船体模型数据交换技术,通过定义船体XML文件并开发数据提取和建模接口成功实现船体模型数据的交换。随着CAD/CAM技术的迅猛发
随着智能卡在金融、身份证明、移动通信、交通和医疗等领域的广泛应用,人们对智能卡的功能及安全性能要求越来越高,智能卡技术也得到了较快发展,智能卡芯片变得越来越复杂,智能卡
本论文主要分为两部分:(一)聚乳酸微球嵌入到海藻酸钙凝胶珠中作为双药物输送系统的研究;(二)基因载体材料聚乙烯亚胺对血液成分的结构和功能的影响。一.聚乳酸微球嵌入到海藻酸钙凝
随着我国高速公路建设的快速推进,有效地控制能源消耗及合理利用再生能源成为公路建设中的重点议题。论文针对高速公路隧道照明系统供电特点,提出一种基于太阳能光伏供电系统的