SystemVerilog與功能驗證 pdf epub mobi txt 電子書下載2025

簡體網頁||繁體網頁

☆☆☆☆☆

出版者:機械工業齣版社

作者:鍾文楓

出品人:

頁數:209

译者:

出版時間:2010-10

價格:36.00元

裝幀:

isbn號碼:9787111313731

叢書系列:

圖書標籤:

SystemVerilog與功能驗證
驗證
集成電路
verilog
systemverilog
IC
計算機
SystemVerilog
SystemVerilog
功能驗證
硬件驗證
FPGA
ASIC
數字電路
驗證方法學
UVM
驗證覆蓋率
測試平颱

下載連結在頁面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製連結

想要找書就要到小美書屋

book.quotespace.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

具體描述

《System Verilog與功能驗證》重點介紹硬件設計描述和驗證語言System Verilog的基本語法及其在功能驗證上的應用；書中以功能驗證為主綫，講述基本的驗證流程、高級驗證技術和驗證方法學，以System Verilog為基礎結閤石頭、剪刀、布的應用實例，重點闡述瞭如何采用System Verilog實現隨機激勵生成、功能覆蓋率驅動驗證、斷言驗證等多種高級驗證技術；最後，通過業界流行的開放式驗證方法學OVM介紹如何在驗證平颱中實現可重用性。

著者簡介

曾就職於華為技術通信公司，目前在某EDA公司亞太區客戶支持部門任驗證産品技術主管；入行以來，參與過TD－SCDMA基帶芯片，韆兆無源光網芯片，高性能CPU、網絡芯片的硬件輔助驗證等多個研發項目，在IC設計及驗證領域積纍瞭豐富的實踐經驗;幫助多傢公司優化設計流程,采用高級驗證技術,縮短項目的研發周期;發錶有《OVM實現瞭可重用的驗證平颱》，《AMBA片上總綫在SOC芯片設計中的應用》等多篇學術論文,也是《The Verification Cookbook》一書的中文版譯者之一;多年來緻力於行業技術和産品的應用和推廣,對IC設計與驗證友深刻的體會和思考.

圖書目錄

前言
第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常用術語中英文對照
參考文獻
後記
· · · · · · (收起)

讀後感

評分☆☆☆☆☆

钟老师写的这本《systemverilog与功能验证》，是一本适合初学者的教材。里面用一个石头、剪刀、布的例子向读者展示了面向对象的验证平台、虚接口、基于对象的随机生成、功能覆盖率以及断言。我还看过《高级验证方法学》、《systemverilog验证方法学》，网上也有一些书的电子...

評分☆☆☆☆☆

对断言、随机测试、功能覆盖都有实例性的介绍，比较容易理解。建议边看书，边调试几个典型的代码，可以更好地理解一些关键的概念。书中个别例子有点问题，但仍不失为一本很好的入门教材，总体上是十分值得推荐的，非常适合有一定vlog和cpp基础的读者自学使用。！

評分☆☆☆☆☆

优点：本书从systemverilog的语法出发，详细介绍了systemverilog在验证方面的强大功能，另外还介绍了OVM验证方法学，可以让读者很快的了解systemverilog的用途，激发读者学习systemverilog的强烈兴趣。书中有很多的实例，可以让初学者更直观的了解和学习systemverilog，同时对q...

評分☆☆☆☆☆