SoC 驗證早有使用內電路仿真 （ICE） 將物理目標連接到硬件仿真器來執行被測設計 （DUT） 的先例。ICE 的優點是能夠在流片之前運行真實使用場景。
　　然而，基于 ICE 的驗證環境受到一些固有限制的阻礙 — 限于基于觸發和基于波形的調試。波形可見性限于硬件仿真器支持的硬件跟蹤存儲器緩沖區 — 通常為一百到二百萬個周期。ICE 環境容易出現隨機性，幾乎不可能一貫捕獲調試信息并驗證錯誤是否已修復。此外，ICE 環境只存在于實驗室中，用戶必須去往實驗室所在地。
　　盡管如此，許多 SoC 驗證場景需要基于 ICE 的環境。為了解決基于 ICE 的環境中的 ICE 局限性問題，Mentor 開發了 Veloce Deterministic ICE App。
　　Veloce Deterministic ICE App為基于 ICE 的環境提供可重復的虛擬調試流程。還通過創建 ICE 運行的虛擬調試模型解決了包括隨機性在內的調試限制。它會生成一個回放數據庫來重復測試，而無需連接到物理 ICE 目標。
　　
　　圖 1：Veloce Deterministic ICE App 使用模型。
　　最重要的是，Veloce Deterministic ICE App 使用模型非常簡單。只需使用 Veloce 編譯開關重新編譯設計。無需更改設計 RTL 或其他用戶代碼?？梢栽诰幾g設計之前啟用顯示器或監控器來進行查看。
　　要生成回放數據庫，需指定要求并啟用 Veloce Deterministic ICE App 回放模式。連接 ICE 目標后，Veloce 在運行標準 ICE 測試用例時生成回放數據庫。一旦運行完成，可以根據需要使用回放數據庫運行測試用例，無需使用 ICE 目標。