低功耗設計偵錯簡化低功耗芯片驗證(SpringSoft)

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

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

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

低功耗設計感知理解與偵錯

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

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

工程師們能夠輕松地運用Verdi系統(tǒng)的先進RTL偵錯功能，然后跨RTL與電源域追蹤到功耗相關(guān)特性的根本原因。貫穿不同的電源域自動追蹤CPF/UPF程序驅(qū)動的訊號路徑，因此偵錯可以導向至正確的來源。動態(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)品，透過對于復雜IC與SoC設計工作的徹底了解，進而自動化，縮短了一半以上的偵錯時間，尤其是不熟悉的既有設計或第三方IP。這個全功能的系統(tǒng)藉由獨家分析引擎，使長時間的行為追蹤自動化；提供威力強大的全套設計視野，使設計具體化并且?guī)椭治鲆蚬P(guān)系；還運用專利技術(shù)揭露設計、斷言(assertions)與系統(tǒng)測試(testbench)之間的功能運作與互動。