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