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