SystemVerilog数字集成电路功能验证

SystemVerilog数字集成电路功能验证

查阅电子书
手机扫码
  • 微信扫一扫

    关注微信公众号

内容简介

SystemVerilog是当前国内外被广泛使用的数字集成电路验证语言,它可以高效地对被测设计进行受约束的随机测试,从而在尽可能短的时间内达到令人满意的代码和功能覆盖率。熟练掌握Systemverilog语言是进一步学习UVM验证方法学的基础。 本书讲解了SystemVerilog的基本语法和工作原理,同时结合了UVM验证方法学中的验证技术知识。讲述的内容主要包括:基本数据类型、接口、类、随机化、约束、进程同步、功能覆盖和DPI技术。书中使用了约270个完整实例,详细说明了每个知识点在实际项目中的应用。最后使用学过的验证技术搭建一个基于SystemVerilog的简单验证平台。书中还介绍了UVM中的一些关键技术,主要包括:继承和派生,拷贝函数、单例类、测试登记表、代理类和工厂机制。为接下来系统学习UVM验证方法学打下坚实的基础。 为了方便读者学习和练习,本书的配套资源中提供了书中全部完整实例。第9章是本书的精华内容,这一章仿照UVM的工作过程,从零开始逐步搭建出一个支持工厂机制、带有覆盖收集和回调功能的受约束测试平台。读者通过反复阅读、改写和调试这个测试平台,可以更全面地理解面向对象编程的关键技术和UVM的常用机制。 本书适合作为高等院校集成电路、微电子、计算机相关专业的教材,同时适用于具有一定Verilog编程基础的人员参考使用,也可以作为数字集成电路验证工程师的语法参考手册。

SystemVerilog数字集成电路功能验证是2023年由人民邮电出版社出版,作者王旭 主编。

得书感谢您对《SystemVerilog数字集成电路功能验证》关注和支持,如本书内容有不良信息或侵权等情形的,请联系本网站。

你可能喜欢
医疗功能房间详图集III 电子书
全书共分三章,前两章简要介绍医疗功能房间设计的理论知识。第三章通过图表的形式,直观展示医院建筑中6大类、100个医疗房间的平面布局图;各房间内家具、设备的数量、规格等的装备清单和强弱电、给排水等机电清单表;并通过一个房间一组编码的形式使读者方便查询所需设计的房间及所属类别。
OSPF协议原理与功能拓展 电子书
本书可概括为3部分。第一部分包含第1~4章,主要围绕路由背景知识、协议基本原理与会话机制、协议状态机、报文格式等方面阐述,突出基于链路状态信息构建基础拓扑和全域拓扑的原理方法。第二部分包含第5~6章,阐述协议在消息约减、定时器以及区域互联之间的优化机制,进一步阐述会话的可靠性提升与快速故障检测技术。第三部分包含第7~9章,阐述OSPF协议拓展框架和框架下的多种功能拓展,重点阐述几种主流的IP快速重
Adobe XD功能解析与应用 电子书
《AdobeXD功能解析与应用》分为三大部分:第1部分是AdobeXD从零到精通,这部分对软件的各种操作技巧和方法进行了全面的讲解,为设计打下基础;第2部分是AdobeXD的UI设计实例,这部分讲解软件在具体设计实例中的应用,在强化软件操作的同时使读者了解实际的设计工作;第3部分讲解了AdobeXD和其他软件的配合,这部分知识是对AdobeXD的延伸和拓展。《AdobeXD功能解析与应用》附带学习
医用钛基合金表面功能涂层 电子书
本书介绍了通过采用微弧氧化、磁控溅射、热氧化、等离子表面合金化及水热反应等技术及相互复合处理工艺,在医用钛基合金表面制备各种功能涂层的方法。本书主要内容包括:绪论、钛表面单功能元素掺杂抗菌多孔TiO2活性涂层、钛表面双功能元素掺杂抗菌多孔TiO2活性涂层、钛种植体表面抗菌耐蚀涂层、钛基合金种植体表面其他功能涂层。本书具有较高的实用参考价值,同时对表面工程在生物材料领域的应用具有一定的推动作用。
主体功能区约束性指标体系研究 电子书
2010年国家出台了《全国主体功能区规划》,国家发改委负责研究制定将开发强度、资源承载能力和生态环境容量等约束性指标分解落实到各省、自治区、直辖市的办法。课题由发改委宏观经济研究院组织,中国环境规划院、首都师范大学资源环境与旅游学院等相关领域专家参与,就《规划》中提出的开发强度、资源环境承载能力、生态环境容量等层面的约束性问题展开从理论到现实的系统探讨与研究,就各层面的约束性问题从概念内涵、代表性