內容簡介
《System Verilog與功能驗證》重點介紹硬體設計描述和驗證語言System Verilog的基本語法及其在功能驗證上的套用；書中以功能驗證為主線，講述基本的驗證流程、高級驗證技術和驗證方法學，以System Verilog為基礎結合石頭、剪刀、布的套用實例，重點闡述了如何採用System Verilog實現隨機激勵生成、功能覆蓋率驅動驗證、斷言驗證等多種高級驗證技術；最後，通過業界流行的開放式驗證方法學OVM介紹如何在驗證平台中實現可重用性。
作者簡介
鍾文楓，廣東海豐人，曾就職於華為通信技術公司，目前在某EDA公司任亞太區客戶支持部門驗證產品技術主管。入行以來，參與過TD-SCDMA基帶晶片、千兆無源光網晶片、高性能CPLJ、網路晶片的硬體輔助驗證等多個研發項目，在IC設計及驗證領域積累了豐富的實踐經驗；幫助多家公司最佳化設計流程，採用高級驗證技術，縮短項目研發周期：發表有《OVM實現了可重用的驗證平台》、《AMBA片上匯流排在SOC晶片設計中的套用》等多篇學術論文，也是《TheVerification COOkbook》一書的中文版譯者之一；多年來致力於行業技術和產品的套用和推廣，對IC設計與驗證有著深刻的體會和思考。
圖書目錄
前言
第1章 功能驗證技術與方法學概要
第2章 數據類型與編程結構
第3章 並發進程與進程同步
第4章 面向對象編程入門
第5章 虛接口
第6章 隨機測試
第7章 繼承與多態
第8章 功能覆蓋率
第9章 斷言
第10章 驗證重用與驗證方法學
第11章 systemverilog與c語言的接口
附錄
參考文獻
後記
