systemerilog綠皮書讀書筆記（一）

1. 驗證導論 HVL擁有的典型性質： 受約束的隨機激勵產生 功能覆蓋率 更高層次的結構，如面對對象 多線程及線程間的通信 支持HDL數據類型，例如0,1,x,z 集成事件仿真器，便於對設計加以控制 1.1 驗證流程 驗證並行於設計流程，驗證必須閱讀同樣的硬件規範並擬定驗證計劃，然後按照計劃創建測試來檢查RTL代碼是否準確實現了所有的特性。驗證計劃是與硬件的規範緊密聯繫的，它描述了需要什麼樣的驗證

>>阅读原文<<