MUX 驗證：窮舉檢查與性質

什麼才算正確

1 位元 a、b 加上 sel，共八組輸入。這種規模下，逐一確認全部情況很有效。寬度 W 的 MUX^{i多工器是依選擇訊號，將多個輸入之一連至輸出的組合電路。必須明確定義選擇位元與輸入編號的對應關係。 詳細內容} 若直接窮舉全部輸入，連同選擇線共有 $2^{2W+1}$ 組，因此寬度稍增就需要其他策略。

輸出寬度為 W 時，各位元的選擇規則如下。

依錯誤類型挑選激勵

測試很多不等於驗證良好，必須說得出要偵測哪種缺陷。

下方只選 a、b 不同的情況，每欄是一個測試向量。錯誤選擇式在四欄都產生與 expected 相反的值。

參考模型應獨立於實作

直接複製 DUT 程式，可能把同一錯誤實作兩次。用規格的真值表^{i真值表完整列出所有可能的輸入組合，以及每個組合的輸出。隨時間的變化須另外以波形確認。 詳細內容}或索引選擇建立預期值，q 則另外追蹤先前擷取的狀態。出現 mismatch 後，嘗試縮成仍會失敗的最短輸入序列，再解釋原因。

不要只比對最後狀態，應在每個觀察點記錄實際值、預期值與輸入。這份紀錄能區分「模擬執行過」與「符合規格」。