互動實驗

可重現的 fault campaign

固定合成 campaign fixture 分開呈現 fault-free control、嘗試次數、唯一 target class／time bin 組合與可能重疊的結果。分母是 12 個組合：4 個 target class（ROM check_done、debug permission、first fetch、key release）× 3 個 time bin（t1、t2、t3）。資料列中的 A-edge 到 D-edge 標示的是 edge／位置，不是 target class。

控制項

執行模式要執行的 campaign attempts 每次 attempt 的故障事件上限

此 fixture 不是實測 campaign 或機率估計。結果類別可能重疊；保留分母與未觸及 bins。這是確定性的教學 fixture，沒有執行 RTL 或模擬器。fixture key 只識別展示資料列，不是模擬器重播命令。合成 fixture 不是硬體證據。

靜態對照靜態分母：12 個 target class／time bin 組合 = 4 個 target class（ROM check_done、debug permission、first fetch、key release）× 3 個 time bin（t1、t2、t3）。Campaign 資料列中的 A-edge、B-edge、C-edge 或 D-edge 標示 edge／位置，不是 target class；time bin 另外標示。「Campaign 未執行」選項關閉故障注入且 attempts 為零，不輸出任何資料列，也不是已完成的 campaign；它列為未觸及的 12 個 bins 是因為沒有執行 campaign 而未評估，不是已完成的 coverage 報告。「無故障授權接受控制範例」是一筆合成資料列：未注入故障，接受一次已授權 commit，位於注入目標及其影響錐之外的獨立參考模型判定為已授權，assertion 通過、cover 命中；它只是教學資料列，不是 RTL、模擬器、formal 或實體結果，且與 12 列 campaign 分開計數，匯出時只含這一筆控制紀錄。Campaign rows 是固定合成 fixture；分開計算嘗試列、已選取的唯一 target class／time bin 組合、已觸發且可觀察的唯一組合、未觸及組合（沒有任何已觸發且可觀察的 attempt）、未授權提交、可用性失敗及延遲警示。 attempts slider 選取資料列；每次 attempt 的故障事件上限是獨立控制，不會改變 attempts 數或 12 個組合的分母。事件上限低於某列所需事件數時，該列不施加故障：不顯示 effect 或 trace，assertion 為「not run」，原本計畫的 effect 只保留在 planned 欄位。重複組合是刻意設計。合成 fixture 不是硬體證據。結果分類可能重疊；沒有執行 RTL 或模擬器。