一塊兒學IC驗證：推薦資料合集，收藏專用（轉載）

時間 2020-07-14

標籤一塊兒驗證推薦資料合集收藏專用轉載简体版

原文原文鏈接

說明：

本文是從一個微信公衆號上覆制過來的，連接：https://mp.weixin.qq.com/s?__biz=MzIyMjYxNzA4NQ==&mid=2247484965&idx=1&sn=af7e8303c0ecac530067f02244734fe1&chksm=e82b8ab7df5c03a190b286ef9b504efa4fc080629de767466c73f171e238af227ca097d83d0c&scene=21#wechat_redirecthtml

公衆號：ExASIC前端

==============================================================git

閱讀完本文，你將瞭解如下內容：github

IC驗證參考書編程
如何讀書後端
IC驗證倒底是什麼微信
如何學習IC驗證ide
一些SV和UVM的在線教程工具
作IC驗證還應當關注的一些會議oop
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 用戶可以溝通與交流，在設計理念和方法學上受到有益的啓發。

關注這些研討會，不單單是由於會議上能夠學習到同行分享的經驗、論文、技術，更重要是能夠認識更多的同行，結識更多的朋友。