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