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