一起学IC验证：推荐资料合集，收藏专用（转载）
说明：
本文是从一个微信公众号上复制过来的，链接：https://mp.weixin.qq.com/s?__biz=MzIyMjYxNzA4NQ==&mid=2247484965&idx=1&sn=af7e8303c0ecac530067f02244734fe1&chksm=e82b8ab7df5c03a190b286ef9b504efa4fc080629de767466c73f171e238af227ca097d83d0c&scene=21#wechat_redirect
==============================================================
阅读完本文，你将了解以下内容：
-
IC验证参考书
-
如何读书
-
IC验证倒底是什么
-
如何学习IC验证
-
一些SV和UVM的在线教程
-
做IC验证还应当关注的一些会议
-
IC验证相关的几个公众号
-
一些Github资源
-
IC验证相关的脚本编程书籍
相对上一版更新了以下内容：
-
增加了大部分书的购买链接
-
删掉了博客链接、增加了github资源链接
-
删掉了EDA的书、增加了互联网软件编程的书
IC验证参考书
《SystemVerilog验证，第二版》
《SystemVerilog for Verification, Third Edition》
一句话评价：
行业内叫“绿皮书”，可作为SystemVerilog入门书籍，也可作语法查询之用。建议学生朋友一开始看中文版，对IC验证有一些基础后再看英文原版。
《UVM实战，张强》
一句话评价：
行业内叫“白皮书”，是第一本中文UVM书，90%的IC验证工程师都是学的这本。
《芯片验证漫游指南，刘斌》
一句话评价：
行业内叫“红宝书”，今年刚出版，路桑的巨作，从验证理论思想、SystemVerilog到UVM等，应有尽有。
《 Practical UVM step by step examples》
一句话评价：
一本UVM的进阶书，有很多复杂的示例，书中代码在 https://github.com/Practical-UVM-Step-By-Step/Practical-UVM-Step-By-Step 。
《A Practical Guide to Adopting the Universal Verification Methodology (UVM) Second Edition》
一句话评价：
一本UVM的入门书，由Cadence的员工编写。
《Advanced Verification Topics》
一句话评价：
一本Cadence编写的验证书，讨论一些UVM验证的高级话题。
《ASIC/SOC Functional Design Verification》
一句话评价：
最全面的验证书，包括SV，UVM，受约束的随机，断言，功能覆盖率，CDC验证，低功功耗验证，形式验证，ESL验证，软硬件联合验证，数模混合验证，SOC互连验证等。
《SystemVerilog Assertions and Functional Coverage》
一句话评价：
一本很好的断言入门书。
如何读书
有人说，书很多，读不完。有人说，书读完，还是不知道如何搭环境写Case。
为什么？不能为了读书而读书。
书更像是工具，在做项目时，遇到不会的再去翻阅相关章节，效果会更好。
IC验证倒底是什么
做IC验证就像拍照片，验证工具就是照相机。照片拍的好不好，主要在于照片呈现出来的美感，抽象的或记实的现实意义。而拍照的设备是功能手机、还是单反并不是那么重要。
做IC验证也是一样，使用的是verilog发激励，还是C或UVM也不那么重要。重要的是找出bug，降低流片失败或做ECO的成本。
那么如何找出更多的bug，如何证明RTL中不存在bug，如何更轻松更快速的找bug？这些才是IC验证的研究内容。
如何学习IC验证
-
打好基础，SV和UVM的语法应当熟知
-
改造已有的验证环境
-
完善验证环境
-
继续完善（这一步循环N次）
-
引入新的验证方法，继续完善（这一步循环N次）
-
发明新的验证方法或思路
-
这时你已经是IC验证专家了
-
接下来你应该多分享IC验证的心得，提升下行业水平
一些SV和UVM的在线教程
首推“验证学院”，由Mentor编写，有Cookbook，有视频教程。
https://verificationacademy.com/
“验证指导”，包括SystemVerilog教程、UVM教程、SystemC教程等。
https://www.verificationguide.com/p/home.html
“ASIC World”的SV教程，据说这个网站每月有超过3百万的浏览量。
http://www.asic-world.com/systemverilog/tutorial.html
doulos教程
https://www.doulos.com/knowhow/sysverilog/
https://www.doulos.com/knowhow/sysverilog/uvm/
UVM candy lovers 教程
http://cluelogic.com/category/uvm/
http://cluelogic.com/2011/07/uvm-tutorial-for-candy-lovers-overview/
https://github.com/cluelogic/uvm-tutorial-for-candy-lovers
chipverify
https://www.chipverify.com/system-verilog/system-verilog
https://www.chipverify.com/uvm/uvm-tutorial
uvm tutorial
http://uvmtutorial.com/
UVM教程
http://www.testbench.in/UT_00_INDEX.html
做IC验证还应当关注的一些会议
DVCon（https://dvcon.org）
Design and Verification Conference，由Accellera主办的全球性的IC DV研讨会。DVCon-US已举办20多年，DVCon-China已举办两界。与会的都是行业内的专业人士，或者分享IC验证经验，或者展示最新的验证技术和方法。
DAC（https://www.dac.com）
Design Automation Conference，有人称之为EDA界的奥斯卡。第一界开始于1964年，至今共举办55界。每年有超过1000家公司或组织参加DAC，或发布新产品，或讨论前沿技术。
CDNLive
CDNLive大会是由Cadence公司举办的一年一度的全球巡回用户大会。全球超过6000名工程师在这里分享设计成果。在中国上海站，数十位来自海外的Cadence工具专家和知名IC设计公司的设计专家将通过精彩的演讲，与广大中国IC工程师面对面现场交流。
SNUG
SNUG（Synopsys User Group）是 Synopsys 一年一度在全球重要市场区域举办的 Synopsys 用户活动，通过用户总结其在使用Synopsys工具过程中的成功经验，以论文的形式提交给 Synopsys 用户组委会，旨在为使用 Synopsys 设计工具环境的用户搭建一个开放的交流平台。参加这一活动的 Synopsys 用户能够沟通与交流，在设计理念和方法学上受到有益的启发。
关注这些研讨会，不仅仅是因为会议上可以学习到同行分享的经验、论文、技术，更重要是可以认识更多的同行，结识更多的朋友。
github上的一些UVM例子
https://github.com/zhajio1988/uvm_candy_lover
https://github.com/google/riscv-dv
https://github.com/doswellf/combinator-uvm
https://github.com/pulp-platform/uvm-components
https://github.com/jerralph/riscv-vip
https://github.com/lowRISC/uvm-components
https://github.com/Practical-UVM-Step-By-Step/Practical-UVM-Step-By-Step
IC验证相关的脚本编程书籍
主要有三大语言：Tcl/Tk，Perl，Python。从目前来看，Python已经霸占了IC验证领域。
《Tcl/Tk入门经典》
《Perl语言入门》
《Python编程从入门到实践》
一些互联网软件编程书籍
（用于验证可视化）
作为验证工程师常常需要做一些小网站来辅助验证，这就会涉及互联网软件编程，比如前端HTML/CSS/Javascript，后端MySQL、Nodejs（也可以是Python或者PHP）。
