SystemVerilog與功能驗證 2025 pdf epub mobi 電子書 下載
☆☆☆☆☆
簡體網頁||
繁體網頁
SystemVerilog與功能驗證 pdf epub mobi 著者簡介
曾就職於華為技術通信公司,目前在某EDA公司亞太區客戶支持部門任驗證産品技術主管;入行以來,參與過TD-SCDMA基帶芯片,韆兆無源光網芯片,高性能CPU、網絡芯片的硬件輔助驗證等多個研發項目,在IC設計及驗證領域積纍瞭豐富的實踐經驗;幫助多傢公司優化設計流程,采用高級驗證技術,縮短項目的研發周期;發錶有《OVM實現瞭可重用的驗證平颱》,《AMBA片上總綫在SOC芯片設計中的應用》等多篇學術論文,也是《The Verification Cookbook》一書的中文版譯者之一;多年來緻力於行業技術和産品的應用和推廣,對IC設計與驗證友深刻的體會和思考.
SystemVerilog與功能驗證 pdf epub mobi 圖書描述
《System Verilog與功能驗證》重點介紹硬件設計描述和驗證語言System Verilog的基本語法及其在功能驗證上的應用;書中以功能驗證為主綫,講述基本的驗證流程、高級驗證技術和驗證方法學,以System Verilog為基礎結閤石頭、剪刀、布的應用實例,重點闡述瞭如何采用System Verilog實現隨機激勵生成、功能覆蓋率驅動驗證、斷言驗證等多種高級驗證技術;最後,通過業界流行的開放式驗證方法學OVM介紹如何在驗證平颱中實現可重用性。
SystemVerilog與功能驗證 2025 pdf epub mobi 電子書 下載
SystemVerilog與功能驗證 pdf epub mobi 圖書目錄
前言
第1章功能驗證技術與方法學概要
1.1功能驗證與驗證平颱
1.1.1專用芯片設計流程
1.1.2什麼是驗證
1.1.3驗證平颱可以做些什麼
1.1.4功能驗證流程
1.2驗證技術和驗證方法學
1.2.1黑盒、白盒與灰盒驗證
1.2.2驗證技術
1.2.3驗證存在的挑戰
1.2.4驗證方法學
1.2.5斷言驗證
1.2.6覆蓋率驅動驗證
1.3硬件驗證語言
1.3.1Open Vera
1.3.2e語言
1.3.3PSL
1.3.4SystemC
1.3.5SystemVerilog
.第2章數據類型與編程結構
2.1數據類型
2.1.1兩態數據類型
2.1.2枚舉類型和用戶自定義類型
2.1.3數組與隊列
2.1.4字符串
2.1.5結構體和聯閤體
2.1.6常量
2.1.7文本錶示
2.1.8操作符和錶達式
2.2過程語句
2.2.1賦值語句
2.2.2控製結構
2.3函數和任務
2.3.1函數和任務的區彆
2.3.2子程序定義
2.3.3子程序參數
2.3.4子程序返迴
2.3.5自動存儲
2.4編程結構
2.4.1模塊
2.4.2接口
2.4.3過程塊和語句塊
2.4.4數據對象
2.4.5程序塊
2.4.6簡單的驗證架構
2.5數據的生命周期和作用域
2.6數據類型轉換
2.6.1靜態類型轉換
2.6.2動態類型轉換
第3章並發進程與進程同步
3.1fork…join
3.1.1三種並發方式
3.1.2進程與變量
3.1.3進程控製
3.2mailbox
3.2.1mailbox的基本操作
3.2.2參數化mailbox
3.2.3mailbox應用實例
3.3semaphore
3.3.1semaphore的基本操作
3.3.2semaphore應用實例
3.4event
3.4.1事件觸發
3.4.2等待事件
3.4.3事件的觸發屬性
第4章麵嚮對象編程入門
4.1過程編程語言與麵嚮對象編程語言
4.2類
4.2.1類的基本概念
4.2.2構造函數
4.2.3靜態屬性與方法
4.2.4this操作符
4.2.5對象的賦值與復製
4.2.6塊外聲明
4.3石頭、剪刀、布仲裁器實例(基於類的驗證平颱)
4.3.1驗證環境頂層
4.3.2驗證組件
第5章虛接口
5.1虛接口的基本概念及應用
5.1.1虛接口的基本概念
5.1.2虛接口的應用
5.2端口模式和時鍾控製塊
5.2.1端口模式
5.2.2時鍾控製塊
第6章隨機測試
6.1激勵産生
6.1.1什麼是隨機
6.1.2潛在問題
6.2隨機生成機製
6.2.1隨機係統函數
6.2.2randcase/randsequence
6.3基於對象的隨機生成
6.3.1隨機變量
6.3.2約束定義
6.3.3隨機方法
6.3.4隨機使能控製
6.3.5約束的動態修改
6.4標準隨機函數
6.5隨機激勵的應用
第7章繼承與多態
7.1繼承和多態的基本概念
7.2繼承與子類
7.2.1類的繼承與重寫
7.2.2子類對象與父類對象的賦值
7.2.3構造函數調用
7.3虛方法與多態
7.3.1虛方法
7.3.2多態
7.4虛類和參數化類
7.4.1虛類
7.4.2參數化類
7.5約束重寫
7.6數據的隱藏與封裝
第8章功能覆蓋率
8.1覆蓋率
8.1.1目標覆蓋率
8.1.2代碼覆蓋率
8.1.3功能覆蓋率
8.2SystemVerilog的功能覆蓋率
8.2.1覆蓋組(covergroup)
8.2.2覆蓋點(coverpoint)
8.2.3交叉覆蓋點(cross)
8.3覆蓋率驅動的驗證平颱
第9章斷言
9.1斷言的概念及作用
9.2SVA
9.2.1SVA的語法層次結構
9.2.2SVA應用實例
9.2.3bind
第10章驗證重用與驗證方法學
10.1驗證重用中存在的問題
10.2驗證方法學OVM
10.3OVM的四大核心技術
10.3.1基於Factory的驗證平颱動態構建
10.3.2動態的配置機製
10.3.3測試用例在驗證架構的頂層
10.3.4激勵産生與驗證架構分離
第11章SystemVerilog與C語言的接口
11.1什麼是DPI
11.2DPI的應用
11.2.1方法的導入
11.2.2方法的導齣
11.2.3DPI的數據類型映射
11.2.4DPI的具體應用
附錄A覆蓋率內置參數和方法列錶
附錄B斷言重復操作符和序列操作符列錶
附錄CQuestaSim簡要介紹
附錄D常用術語中英文對照
參考文獻
後記
· · · · · · (
收起)
下載链接在页面底部
點擊這裡下載
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!
發表於2025-01-18
SystemVerilog與功能驗證 2025 pdf epub mobi 電子書 下載
SystemVerilog與功能驗證 2025 pdf epub mobi 電子書 下載
SystemVerilog與功能驗證 2025 pdf epub mobi 電子書 下載
喜欢 SystemVerilog與功能驗證 電子書 的读者还喜欢
SystemVerilog與功能驗證 pdf epub mobi 讀後感
評分
☆☆☆☆☆
花瞭一個多月基本看完瞭這本書,從而使我從對SV一無所知到基本熟悉,相比於翻譯的外文書,這本應該是一本很好的適閤自學的書,書中的比喻很形象,而且有插圖說明,很容易理解,對於沒有接觸過C++的人來講,可以很快的理解類方麵的知識,例外書中的例子非常多,利於讀者自己仿真...
評分
☆☆☆☆☆
花瞭一個多月基本看完瞭這本書,從而使我從對SV一無所知到基本熟悉,相比於翻譯的外文書,這本應該是一本很好的適閤自學的書,書中的比喻很形象,而且有插圖說明,很容易理解,對於沒有接觸過C++的人來講,可以很快的理解類方麵的知識,例外書中的例子非常多,利於讀者自己仿真...
評分
☆☆☆☆☆
對斷言、隨機測試、功能覆蓋都有實例性的介紹,比較容易理解。建議邊看書,邊調試幾個典型的代碼,可以更好地理解一些關鍵的概念。書中個彆例子有點問題,但仍不失為一本很好的入門教材,總體上是十分值得推薦的,非常適閤有一定vlog和cpp基礎的讀者自學使用。!
評分
☆☆☆☆☆
花瞭一個多月基本看完瞭這本書,從而使我從對SV一無所知到基本熟悉,相比於翻譯的外文書,這本應該是一本很好的適閤自學的書,書中的比喻很形象,而且有插圖說明,很容易理解,對於沒有接觸過C++的人來講,可以很快的理解類方麵的知識,例外書中的例子非常多,利於讀者自己仿真...
評分
☆☆☆☆☆
作為IEEE的標準,SystemVerilog 為設計和驗證提供瞭一個統一的平颱。本書從SystemVerilog的語法介紹開始,結閤驗證方法學的理論,提供瞭豐富的實例和可藉鑒的方法,為讀者特彆是IC驗證工程師開闊瞭視野,提供瞭寶貴的實踐經驗,是一本非常實用的參考手冊。 ...
類似圖書 點擊查看全場最低價
出版者:機械工業齣版社
作者:鍾文楓
出品人:
頁數:209
譯者:
出版時間:2010-10
價格:36.00元
裝幀:
isbn號碼:9787111313731
叢書系列:
圖書標籤:
SystemVerilog與功能驗證
驗證
集成電路
verilog
systemverilog
IC
計算機
SystemVerilog
SystemVerilog與功能驗證 2025 pdf epub mobi 電子書 下載
SystemVerilog與功能驗證 pdf epub mobi 用戶評價
評分
☆☆☆☆☆
數據類型那邊例子的定義都有錯 國內的書給跪瞭 內容略混亂
評分
☆☆☆☆☆
麵嚮對象真是一個神奇的發明。雖然我還沒做到驗證,也彆提啥驗證方法學,但書中內容無論是對驗證本身還是SOC係統設計都能有概述。個人依然覺得,IC的開發還是重在驗證。基於IP以及係統總綫的設計已經越來越普遍,對設計者的考驗還是在於RTL編碼質量。所以設計與後端流程聯係更為緊密。 匆匆看瞭一遍,也沒能做實驗,不過,到哪能下到書上的源碼呢?
評分
☆☆☆☆☆
麵嚮對象真是一個神奇的發明。雖然我還沒做到驗證,也彆提啥驗證方法學,但書中內容無論是對驗證本身還是SOC係統設計都能有概述。個人依然覺得,IC的開發還是重在驗證。基於IP以及係統總綫的設計已經越來越普遍,對設計者的考驗還是在於RTL編碼質量。所以設計與後端流程聯係更為緊密。 匆匆看瞭一遍,也沒能做實驗,不過,到哪能下到書上的源碼呢?
評分
☆☆☆☆☆
簡潔
評分
☆☆☆☆☆
簡潔
SystemVerilog與功能驗證 2025 pdf epub mobi 電子書 下載