SystemVerilog與功能驗證

內容概要

本書重點介紹硬件設計描述和驗證語言SystemVerilog的基本語法及其在功能驗證上的應用；書中以功能驗證為主線，講述基本的驗證流程、高級驗證技術和驗證方法學，以SystemVerilog為基礎結合石頭、剪刀、布的應用實例，重點闡述了如何采用SystemVerilog實現(xiàn)隨機激勵生成、功能覆蓋率驅動驗證、斷言驗證等多種高級驗證技術；最后，通過業(yè)界流行的開放式驗證方法學OVM介紹如何在驗證平臺中實現(xiàn)可重用性。

作者簡介

曾就職于華為技術通信公司，目前在某EDA公司亞太區(qū)客戶支持部門任驗證產(chǎn)品技術主管；入行以來，參與過TD－SCDMA基帶芯片，千兆無源光網(wǎng)芯片，高性能CPU、網(wǎng)絡芯片的硬件輔助驗證等多個研發(fā)項目，在IC設計及驗證領域積累了豐富的實踐經(jīng)驗;幫助多家公司優(yōu)化設計流程,采用高級驗證技術,縮短項目的研發(fā)周期;發(fā)表有《OVM實現(xiàn)了可重用的驗證平臺》，《AMBA片上總線在SOC芯片設計中的應用》等多篇學術論文,也是《The Verification Cookbook》一書的中文版譯者之一;多年來致力于行業(yè)技術和產(chǎn)品的應用和推廣,對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　驗證存在的挑戰(zhàn) 　　1.2.4　證方法學 　　1.2.5　斷言驗證 　　1.2.6　覆蓋率驅動驗證 　1.3　硬件驗證語言 　　1.3.1　open vera 　　1.3.2　e語言 　　1.3.3　psl 　　1.3.4　systemc 　　1.3.5　systemverilog 第2章　數(shù)據(jù)類型與編程結構 　2.1　數(shù)據(jù)類型 　　2.1.1　兩態(tài)數(shù)據(jù)類型 　　2.1.2　枚舉類型和用戶自定義類型 　　2.1.3　數(shù)組與隊列 　　2.1.4　字符串 　　2.1.5　結構體和聯(lián)合體 　　2.1.6　常量 　　2.1.7　文本表示 　　2.1.8　操作符和表達式 　2.2　過程語句 　　2.2.1　賦值語句 　　2.2.2　控制結構 　2.3　函數(shù)和任務 　　2.3.1　函數(shù)和任務的區(qū)別 　　2.3.2　子程序定義 　　2.3.3　子程序參數(shù) 　　2.3.4　子程序返回 　　2.3.5　自動存儲 　2.4　編程結構 　　2.4.1　模塊 　　2.4.2　接口 　　2.4.3　過程塊和語句塊 　　2.4.4　數(shù)據(jù)對象 　　2.4.5　程序塊 　　2.4.6　簡單的驗證架構 　2.　5　數(shù)據(jù)的生命周期和作用域 　2.6　數(shù)據(jù)類型轉換 　　2.6.1　靜態(tài)類型轉換 　　2.6.2　動態(tài)類型轉換 　……第3章　并發(fā)進程與進程同步 第4章　面向對象編程入門  第5章　虛接口 第6章　隨機測試 第7章　繼承與多態(tài) 第8章　功能覆蓋率 第9章　斷言 第10章　驗證重用與驗證方法學 第11章　systemverilog與c語言的接口 附錄a　覆蓋率內置參數(shù)和方法列表 附錄b　斷言重復操作符和序列操作符列表 附錄c　questasim簡要介紹 附錄d　常用術語中英文對照 參考文獻 后記 源代碼索引systemverilog

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    SystemVerilog與功能驗證 PDF格式下載

---