27 / 37 · 理解測驗

理解檢查：參考模型與競爭

選擇獨立期望值及時脈邊緣更新後的檢查時間。

測試非阻塞更新的 count，應分開刺激和檢查時刻。

此課程的單時脈測試平台，哪種檢查方式合適？

選擇答案在上升緣改 reset 並立即讀 count。複製 DUT 內部下一狀態作期望。最終 count 對就忽略中間錯誤。下降緣驅動，獨立計算期望，在下一上升緣 NBA 更新後檢查。