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