11 / 36 · 概念

能揭露錯誤的測試案例

選擇可揭露選擇反轉及取樣錯誤的案例。

學習目標

若 a、b 永遠相同，錯誤選擇器也可能看似正確。先以 a=0,b=1 改變 sel，再以 a=1,b=0 檢查反方向。改輸入檔前先算預期值，不要看到結果後才改答案，並保留原檔與修改檔的區別。

記下第一次不一致的時刻與輸入組合。y 錯就查選擇式與接線；只有 sampled_y 錯就先查初始值與時脈邊緣。覆蓋八種組合不是驗證晶片所有電氣特性，而是解釋此 RTL 的 0/1 選擇與儲存。

y 符合真值表，但 sampled_y 差一個邊緣，先查什麼？

查看解說

先比較初始 sampled_y、輸入轉換時間與第一個上升緣，再考慮修改選擇式。