CHI協議驗證中的異常及邊界驗證

針對 CHI 協議的錯誤注入工具、覆蓋率衡量方法及實際項目中的投入平衡

CHI 協議作為多核系統中復雜的緩存一致性協議，驗證其行為需要強大的工具和方法來執行錯誤注入和邊界條件測試，并衡量測試覆蓋率。以下詳細討論常用工具、覆蓋率評估方法及項目實踐中的資源投入策略。

---

1. 常用的錯誤注入工具推薦

在 CHI 協議及其相關設計（如 NOC 一致性）中，錯誤注入工具主要用于模擬異常情況，驗證系統的魯棒性和錯誤處理能力。

1.1 工具分類

1. 仿真級工具（軟件工具）：

   • 在 RTL 仿真或功能驗證環境中，通過 Testbench 和協議檢查器注入錯誤。
   • 推薦工具：
     • UVM Testbench：
       • 使用 UVM 的隨機化和覆蓋點功能，生成異常事務（如無效請求、錯誤響應）。
       • 在 Driver 和 Monitor 中模擬協議異常。
     • SystemVerilog Assertions (SVA)：
       • 在協議關鍵路徑中插入斷言，觸發異常條件。
     • Cadence Xcelium、Synopsys VCS：
       • 提供斷言監控和錯誤注入功能。
     • JasperGold Formal Verification：
       • 形式化驗證工具，能夠在設計中系統地注入錯誤并驗證結果。

2. 硬件加速工具（原型驗證工具）：

   • 將錯誤注入集成到硬件加速仿真或 FPGA 原型驗證中，測試系統在接近實際運行條件下的行為。
   • 推薦工具：
     • Cadence Palladium 和 <