Synplicity宣布推出突破性ASIC驗證解決方案

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

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

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

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

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

Identify Pro的價格與供貨情況

支持 TotalRecall 技術的 Identify Pro 軟件將于 2007 年第三季度開始向早期采用者推出。一年期license定價為 34,500 美元，永久浮動license定價為 69,000 美元。