
叢國濤 李鶴楠 王森 編著
本書基於企業實際需求,理論結合實例,由易到難講解了數字集成電路常用驗證方法、流程規範和UVM高級驗證方法。 主要內容包括:數字集成電路驗證技術的發展、數字集成電路驗證基礎、數字集成電路驗證的常用Verilog編程語法、被測電路功能點Case抽取、斷言、帶有約束條件的隨機激勵、覆蓋率、結果自動對比、UVM驗證、仿真驗證EDA工具、實例解析、綜合項目實例。 本書可供集成電路驗證的入門級讀者,以及集成電路、芯片、半導體及相關行業的工程技術人員使用,還可作爲教材供高校相關專業師生學習參考。