SpringSoft發(fā)表該公司獲獎無數(shù)的Verdi自動偵錯系統(tǒng)全新低功耗設(shè)計感知偵錯模塊。低功耗設(shè)計感知偵錯加速功耗設(shè)計意圖的理解，并使其直觀化、追蹤與分析功耗相關(guān)錯誤的流程自動化。這個模塊與Verdi系統(tǒng)的硬件描述語言(HDL)偵錯功能完全整合，這是SpringSoft的Novas驗證流程強化解決方案產(chǎn)品系列的基石，讓工程師的驗證工作事半功倍。

SpringSoft的低功耗設(shè)計感知偵錯同時具備了一致化功耗格式(United Power Format，UPF)與共通功耗格式(Common Power Format，CPF)的支持，具備設(shè)計理解工具可以了解功耗設(shè)計意圖，并具備自動化偵錯技術(shù)，以判斷究竟是功能邏輯或功耗相關(guān)問題導(dǎo)致意外的設(shè)計特性。這些功能在Verdi環(huán)境中活化并實現(xiàn)更高效率的低功耗系統(tǒng)芯片(SoC)設(shè)計偵錯。低功耗設(shè)計感知偵錯模塊的試用版已經(jīng)得到許多頂級全球半導(dǎo)體公司的好評。

SpringSoft產(chǎn)品營銷總監(jiān)李新基表示：「雖然CPF與UPF提供了從RTL設(shè)計來驗證說明功耗意圖的一致方法，市面上卻沒有實用的低功耗設(shè)計感知調(diào)試程序可運用于RTL階段。Verdi提供通用平臺，以整合功耗設(shè)計格式與創(chuàng)新的偵錯自動化技術(shù)，填補了這個功耗驗證的缺漏?，F(xiàn)在工程師們能夠更容易追蹤和分析RTL與UPF/CPF程序中復(fù)雜的功耗設(shè)計特性，盡早解決設(shè)計中的功耗問題，節(jié)省寶貴的驗證時間?！?/p>

低功耗設(shè)計感知理解與偵錯

Verdi低功耗設(shè)計感知偵錯模塊提供完整的UPF與CPF來源碼支持，能夠從這些功耗設(shè)計語言匯入和編譯功耗設(shè)計意圖至SpringSoft的數(shù)據(jù)庫。這提供了高水平的功耗意圖視野，能夠與Verdi內(nèi)含的RTL設(shè)計數(shù)據(jù)相互關(guān)聯(lián)，描繪完整的功耗設(shè)計結(jié)構(gòu)。

方便易用的Power Manager瀏覽器讓工程師們能夠使傳統(tǒng)RTL設(shè)計視圖(來源碼、電路圖與波形)中的功耗設(shè)計意圖具體化?？梢暂p松地將電壓轉(zhuǎn)換器與開關(guān)等相關(guān)功耗設(shè)計規(guī)則配置到個別的電源域(Power domain)，并關(guān)聯(lián)至特定RTL設(shè)計區(qū)塊。由于能夠在功耗與RTL檢視之間交叉探索，工程師們能夠立即找出功耗相關(guān)問題的根本原因。

工程師們能夠輕松地運用Verdi系統(tǒng)的先進RTL偵錯功能，然后跨RTL與電源域追蹤到功耗相關(guān)特性的根本原因。貫穿不同的電源域自動追蹤CPF/UPF程序驅(qū)動的訊號路徑，因此偵錯可以導(dǎo)向至正確的來源。動態(tài)功耗模式/狀態(tài)在RTL與功耗檢視中都有注釋，以便偵錯時在RTL與CPF/UPF程序之間順暢地追蹤。此外，任何信號的現(xiàn)在功耗狀態(tài)都能夠被迅速檢查和追蹤至其CPF/UPF來源。

關(guān)于Verdi自動化偵錯系統(tǒng)
Verdi自動化偵錯系統(tǒng)(Verdi Automated Debug System)是SpringSoft先進偵錯的旗艦產(chǎn)品，透過對于復(fù)雜IC與SoC設(shè)計工作的徹底了解，進而自動化，縮短了一半以上的偵錯時間，尤其是不熟悉的既有設(shè)計或第三方IP。這個全功能的系統(tǒng)藉由獨家分析引擎，使長時間的行為追蹤自動化；提供威力強大的全套設(shè)計視野，使設(shè)計具體化并且?guī)椭治鲆蚬P(guān)系；還運用專利技術(shù)揭露設(shè)計、斷言(assertions)與系統(tǒng)測試(testbench)之間的功能運作與互動。