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