Synplicity宣布推出突破性ASIC驗(yàn)證解決方案

Synplicity 公司日前宣布推出其具有創(chuàng)新性的ASIC 與 ASSP 驗(yàn)證解決方案Identify® Pro。采用 Synplicity 的TotalRecall™ 技術(shù)的Identify Pro軟件為基于 FPGA 的 ASIC 與 ASSP原型設(shè)計(jì)提供了完全可視化，從而使設(shè)計(jì)人員能以接近于最終設(shè)備的運(yùn)行速度來(lái)查找、修改并驗(yàn)證功能故障。Identify Pro 軟件提高了包括斷言驗(yàn)證和模擬驗(yàn)證在內(nèi)的現(xiàn)有驗(yàn)證技術(shù)的效率，從而大幅縮短整體驗(yàn)證時(shí)間，并提高驗(yàn)證覆蓋范圍及質(zhì)量。

Identify Pro 解決方案與包括Synopsys的VCS 解決方案（見(jiàn)今天的相關(guān)新聞發(fā)布“Synopsys與Synplicity建立聯(lián)盟，共同推進(jìn)高性能 ASIC 驗(yàn)證技術(shù)發(fā)展”）在內(nèi)的各種流行模擬工具（Simulation）協(xié)作，可自動(dòng)將原型設(shè)計(jì)硬件與現(xiàn)有軟件模擬環(huán)境無(wú)縫連接在一起，以支持系統(tǒng)而全面的 RTL 代碼分析與調(diào)試。Identify Pro 軟件不僅支持模擬器初始化，而且還可自動(dòng)創(chuàng)建基于FPGA 的原型設(shè)計(jì)的實(shí)際激勵(lì)(stimulus) 測(cè)試基準(zhǔn)(test bench)，從而為設(shè)計(jì)人員提供了在運(yùn)行速度與性能方面遠(yuǎn)遠(yuǎn)超過(guò)其它任何 ASIC 驗(yàn)證技術(shù)的解決方案。

Synplicity 的 ASIC 驗(yàn)證產(chǎn)品市場(chǎng)營(yíng)銷部高級(jí)總監(jiān) Juergen Jaeger 指出：“Identify Pro 軟件開(kāi)創(chuàng)了硬件輔助驗(yàn)證技術(shù)的新紀(jì)元，為我們的 ASIC 與 ASSP 驗(yàn)證技術(shù)奠定了堅(jiān)實(shí)的基礎(chǔ)。隨著 ASIC 驗(yàn)證解決方案的體積變得越來(lái)越大，成本不斷提高，且日趨以軟件為中心，設(shè)計(jì)小組必須能夠高效檢測(cè)并分析錯(cuò)誤與故障，否則就會(huì)影響芯片良率。Identify Pro 軟件則可以為基于 FPGA 的原型設(shè)計(jì)提供完全可視化，使設(shè)計(jì)人員能以硬件運(yùn)行速度來(lái)查找、修改并驗(yàn)證功能故障，從而顯著降低上述風(fēng)險(xiǎn)。就斷言及其它觸發(fā)事件而言，設(shè)計(jì)方案和自動(dòng)生成的測(cè)試基準(zhǔn)(test bench)能加載到模擬器中，以便更詳細(xì)地進(jìn)行調(diào)試與分析。Identify Pro 軟件不僅具有模擬器的可視化功能，而且還可以硬件速度運(yùn)行，從而為 ASIC 驗(yàn)證帶來(lái)了真正的突破?！?nbsp;

Identify Pro 軟件使基于 FPGA 的 ASIC 與 ASSP 原型設(shè)計(jì)人員能夠直接在 RTL 級(jí)以硬件速度實(shí)現(xiàn)設(shè)計(jì)功能調(diào)試。這就使 RTL 設(shè)計(jì)的功能驗(yàn)證速度比 RTL 模擬器快 1萬(wàn)倍之多，且支持“真實(shí)世界”的刺激機(jī)制，因此 Identify Pro 軟件非常適用于網(wǎng)絡(luò)、音頻、視頻等應(yīng)用的驗(yàn)證平臺(tái)，以及軟件內(nèi)容量極大的設(shè)計(jì)方案。Identify Pro 軟件配合 Synplicity 的 Synplify® Premier 物理綜合工具使用，能將斷言綜合技術(shù)集成到硬件與斷言調(diào)試過(guò)程中。

Identify Pro 軟件采用實(shí)時(shí)激勵(lì)(live stimulus)機(jī)制，能快速達(dá)到功能故障或斷言故障等觸發(fā)點(diǎn)，從而為FPGA 或 ASIC 原型設(shè)計(jì)提供了最快的故障查找技術(shù)。利用包括斷言在內(nèi)的RTL級(jí)先進(jìn)觸發(fā)技術(shù)，我們很快就能發(fā)現(xiàn)設(shè)計(jì)問(wèn)題，而模擬器則需要幾天乃至數(shù)周才能發(fā)現(xiàn)問(wèn)題。發(fā)現(xiàn)功能故障或斷言故障后，我們就能采用 Identify Pro 工具的 TotalRecall 技術(shù)在達(dá)到觸發(fā)之前并在用戶定義的一定時(shí)鐘周期內(nèi)就初始化標(biāo)準(zhǔn)軟件模擬器，以提供所有信號(hào)與狀態(tài)值。完整模塊狀態(tài)和測(cè)試基準(zhǔn)(test bench)能自動(dòng)導(dǎo)出到 RTL 模擬器，用戶能在最初的 RTL 源代碼中重放序列和診斷問(wèn)題。Identify Pro 產(chǎn)品對(duì)采用FPGA 硬件進(jìn)行 ASIC 驗(yàn)證設(shè)計(jì)的小組而言非常有用，能幫助他們快速找到設(shè)計(jì)中的功能故障。Identify Pro 工具不僅覆蓋了真實(shí)世界中的數(shù)據(jù)，而且還支持真正的硬件速度，從而為查找、修改和驗(yàn)證 FPGA和ASIC 設(shè)計(jì)中的功能故障提供了全面的驗(yàn)證環(huán)境。  

Identify Pro的價(jià)格與供貨情況

支持 TotalRecall 技術(shù)的 Identify Pro 軟件將于 2007 年第三季度開(kāi)始向早期采用者推出。一年期license定價(jià)為 34,500 美元，永久浮動(dòng)license定價(jià)為 69,000 美元。