進階驗證與 UVM
UVM 計分板(UVM scoreboard)
UVM 計分板是裁判,負責判定設計是否做對了事。它接收監視器觀察到、從設計輸出的交易,並與一個「黃金」參考模型認為應該輸出的結果相比對——把任何不符標記為臭蟲。想像一位手握規則書的西洋棋仲裁:選手的每一步都對照合法走法檢查,一旦出現非法動作,哨子立刻吹響。計分板就是讓「它到底有沒有運作?」得到明確「有」或「沒有」的地方。
多數計分板採「預測加比對」運作:輸入監視器把預期行為餵進參考模型(預測器),輸出監視器把實際結果餵進來,計分板再加以配對——往往是亂序配對,因為真實設計會重排、管線化並緩衝資料。把這種配對做對(依標籤、依位址、依資料流)相當微妙,草率的計分板不是漏掉真臭蟲,就是亂發假警報。一個嚴謹、能自我檢查的計分板,正是讓數千個隨機測試徹夜無人值守地跑、且結果仍有意義的關鍵。
從不報出不符的計分板很可疑,而非令人放心——驗證工程師會刻意注入錯誤,以證明計分板真的抓得到問題。
又称
另见