System Verilog 在多数情况下被用于 IC 验证,相关书籍其实比较多,这里先提供绿皮书,红宝书,希望对大家有用。

1、SystemVerilog数字系统设计

  这本书也是夏宇闻所译,是第一本全面介绍SystemVerilog语言及讲解使用这种语言设计现代数字电路硬件技术的教材。Mark Zwolinsk曾编写了一本十分畅销的教材——Digital System Design with VHDL。在该书讲述方法的基础上,作者在《SystemVerilog数字系统设计》中阐述了使用SysternVerilog语言进行自动化设计的全过程,以及工程师必须了解的所有知识点,包括从建模、功能仿真、综合、时序,一直到故障仿真。

  通过约150个实际例子(每个例子都有细心安排的语法细节和足够深度的知识点)来实现教学目标,使学生能很快掌握硬件设计和验证方法,《SystemVerilog数字系统设计》中所有的例子都可以从相关网站下载。《SystemVerilog数字系统设计》特点:验证方法,《SystemVerilog数字系统设计》中所有的例子都可以从相关网站下载。使用电子设计自动化工具,在CMOS工艺和可编程逻辑器件上实现数字系统。

图1 SystemVerilog数字系统设计

  核心建模技术:组合电路构造块、缓冲器、译码器、编码器、多路选择器、加法器和奇偶校验器。时序电路构造块:锁存器、触发器、寄存器、计数器、存储器和时序乘法器。有限状态机的设计:从算法状态机(ASM)图到 D 触发器,下一个状态和输出逻辑。

  使用SysterriVerilog为接口和封装建立模型。设计测试平台:体系架构,受约束随机测试的产生,以及基于断言的验证。RTL 和 FPGA 综合模型的描述。理解和实现针对测试的设计(DFT) 。探索异步时序电路的反常行为。可以在微信公众号后台回复 电子书|000C 进行获取。

2、SystemVerilog硬件设计及建模

  本书是介绍 SystemVerilog(Verilog-2005)的实用图书。书中深入浅出地介绍 SystemVerilog 相比于Verilog 新增加的特性,包括新的数据类型、操作符、过程块语句以及适于 SoC 设计的接口结构,这些新增加的特性大大提高 Verilog 的高层抽象能力,弥补 Verilog 底层描述能力强但系统级描述能力弱的缺点。
  为了进一步说明这些新的数据类型、操作符和过程语句,本书对 Verilog 语句中的数据类型、操作符以及过程语句的仿真行为进行深入的分析,以便于读者加深对 Verilog 的理解。此外,本书还介绍 SystemVerilog 增加的一些系统连接描述方法,相对于 Verilog-2001,这些方法可以进一步简化系统连接,提高设计效率。本书提供许多代码例子,这些例子可以从网上下载,有助于读者对 SystemVerilog 的学习。可以在微信公众号后台回复 电子书|000D 进行获取。

图2 SystemVerilog硬件设计及建模

3、system verilog验证 第二版

  SystemVerilog 验证(测试平台编写指南原书第2版) 可以作为学习 SystemVerilog 验证语言的初级阶段读物。书中描述了语言的工作原理并且包含了很多例子,这些例子演示了如何使用面向对象编程(OOP)的方法建立一个基本的、由覆盖率驱动并且受约束的随机分层测试平台。

  最近几年 IC 行业可以说相当火爆,数字 IC 验证岗位是需要人才最多的岗位,需要学习相关的验证方法学,而 system verilog 验证 第二版就是通常所说的绿皮书,作为验证学习的重要书籍。可以在微信公众号后台回复 电子书|000E 进行获取。

图3 system verilog验证 第二版

4、芯片验证漫游指南

  这本被称为红宝书,资深验证专家刘斌(路桑)全面介绍芯片验证,从验证的理论,到 SystemVerilog 语言和 UVM 验证方法学,再到高级验证项目话题。这本综合性、实用性的验证理论和编程方面的图书,针对芯片验证领域不同级别的验证工程师,给出由浅入深的技术指南:学习验证理论来认识验证流程和标准,学习 SystemVerilog 语言和 UVM 方法学来掌握目前主流的动态验证技术,了解高级验证话题在今后遇到相关问题时可以参考。

  可以在微信公众号后台回复 电子书|000F 进行获取。

图4 芯片验证漫游指南

5、UVM 实战指南

  全书详尽介绍了 UVM 的 factory 机制、sequence 机制、phase机制、objection机制及寄存器模型等的使用。此外,本书还试图引导读者思考 UVM 为什么要引入这些机制,从而使读者知其然,更知其所以然。本书以一个完整的示例开篇,使得读者一开始就对如何使用 UVM 搭建验证平台有总体的概念。本书提供大量示例代码,这些代码都经过实际的运行。
  全书内容力求简单易懂,尽量将 UVM 中的概念与读者已有的概念联系起来。在第 11 章还专门介绍了 OVM 与 UVM 的区别,为那些从 OVM迁移到 UVM 的用户提供很大帮助。本书主要面向 UVM 的初学者及想对 UVM 追根寻底的中级用户。针对没有面向对象编程基础的用户,本书在附录中简要介绍了面向对象的概念及 SystemVerilog中区别于其他编程语言的一些特殊语法。 可以在微信公众号后台回复 电子书|0010 进行获取。

图5 UVM 实战指南

  综上,书籍推荐目前就这么多,在学 System Verilog 之前,希望还是还将 Verilog HDL 学好,理解相关概念会事半功倍,直接看后面几本书可能看不懂。

推荐system Verilog相关书籍相关推荐

  1. 《挑战程序设计竞赛》推荐及算法相关书籍吐槽

    前几天,秋叶拓哉(iwi).岩田阳一(wata)和北川宜稔(kita_masa)所著,我(watashi).庄俊元(navi)和李津羽(itsuhane)翻译的<挑战程序设计竞赛>,终于通 ...

  2. 蓝桥杯大赛青少年创意编程 推荐考生阅读 相关书籍的相关视频(部分)

    有声书<格兰特船长的儿女>凡尔纳科幻三部曲之一 有声书<格兰特船长的儿女>凡尔纳科幻三部曲之一_哔哩哔哩_bilibili [有声书]儒勒·凡尔纳<海底两万里> [ ...

  3. oracle jvm规范官网下载及相关书籍推荐

    oracle官网下载 https://www.oracle.com/downloads oracle.com/cn/java/technologies/javase-downloads.html 下载 ...

  4. 给大家推荐几本JAVA相关书籍

    给大家推荐几本JAVA相关书籍 初级: <java 从入门到精通>买的人很多,有视频. <疯狂 java 讲义>适合0基础自学 <head first java>h ...

  5. 怎么学好Web前端开发 有哪些相关书籍推荐

    怎么学好Web前端开发?有哪些相关书籍推荐?想学好Web前端开发技术,好的学习资料当然必不可少,有哪些好的书籍推荐呢?下面就给大家推荐几本热度比较高的书籍,相信好的学习资料能让你的学习效果事半功倍. ...

  6. Go语言相关书籍推荐(从入门到放弃)

    前言 最近总有读者问我可不可以推荐一下go语言入门必读书籍.所以今天就推荐几本.因为笔者也没读过几本,所以就咨询了几位前辈,现在我就把这一份书单介绍给你们,从入门到进阶. Go语言简介 Go语言是最近 ...

  7. 「原创」大数据岗位总结和相关书籍推荐

    作者:数据一哥  来源:数据社 全文共3547个字,建议10分钟阅读 大家好,我是一哥. 最近有几个群友问我大数据怎么入门,作为一个零基础大数据入门学习者该看哪些书呢?我结合自己看过的书和了解到的比较 ...

  8. 神经网络入门书籍推荐,神经网络相关书籍

    学习神经网络算法,看什么书比较好, 求推荐~ . 理论方面用:王小平西安交大出版社(本人从十本相关书籍中选的一本)软件实现用:雷英杰西安电子科技大学出版社遗传算法是模仿DNA进化的过程,通过选择,交叉 ...

  9. 日本好的机器学习,深度学习相关书籍推荐

    日本好的机器学习,深度学习相关书籍推荐 日文书名:ゼロから作るDeep Learning ―Pythonで学ぶディープラーニングの理論と実装 中文书名:用Python从0开始深度学习理论与实践 作者: ...

最新文章

  1. Oracle数据库中的分页--rownum
  2. Android Fragment add/replace以及backstack
  3. python中的装饰器有哪些-Python中的@函数装饰器到底是什么?
  4. NET 2.0中WinForm自定义的程序配置存放到哪里去了
  5. GraphQL引入依赖maven仓库配置
  6. cursoradpter自动更新
  7. 微信JS-SDK选择相册或拍照并上传PHP实现
  8. html防替换资源,Webpack中有没有替换html静态资源的插件
  9. python 分类_Python数据类型分类
  10. java程序a-z b-y,请完成下列Java程序:对大写的26个英文字母加密,从键盘输入一个大写字母串,输出这个串加密后的结 - 赏学吧...
  11. 【c语言】定义一个指针数组,指向5个不同的char型数组
  12. php apache很慢,Apache 服务器 首次访问特别慢的解决过程,php环境
  13. vue项目打包优化策略
  14. Hadoop 架构已凋谢 ?!
  15. 【原型设计】第一节:Axure RP9 下载安装、汉化和激活使用的方法教程
  16. 总裁演说思维语言沟通学习心得有哪些
  17. EditPlus代码补全设置
  18. 关于PHPExcel导出单元格换行的问题
  19. 黑客的专用通道以及入侵方法
  20. Excel数据透视表: GetPivotData

热门文章

  1. 与50位网站主编面对面—BiaNews网编训练营系列讲座
  2. 常用电子元器件的图解和作用
  3. 1秒计算机格式,嫌修改文件格式麻烦?教你写个简单的bat文件一秒修改格式
  4. 2017vray 安装后少了mrmaterialattribs.gup
  5. Minecraft-服务器自定义生物、怪物(MythicMobs插件)
  6. ECCV 2020 Spotlight,COCO关键点检测冠军算法RSN解析
  7. eclipse字体和保护色的设置
  8. 路由器CE认证重点难点
  9. 【二分法】POJ3258-River Hopscotch
  10. c语言程序设计 下 答案,C语言程序设计含答案.doc