SpringSoft發(fā)布Verdi自動(dòng)偵錯(cuò)系統(tǒng)低功耗設(shè)計(jì)感知偵錯(cuò)模塊

　　專(zhuān)業(yè)IC設(shè)計(jì)軟件全球供貨商SpringSoft, Inc.今天發(fā)表該公司獲獎(jiǎng)無(wú)數(shù)的Verdi自動(dòng)偵錯(cuò)系統(tǒng)全新低功耗設(shè)計(jì)感知偵錯(cuò)模塊。低功耗設(shè)計(jì)感知偵錯(cuò)加速功耗設(shè)計(jì)意圖的理解，并使其直觀(guān)化、追蹤與分析功耗相關(guān)錯(cuò)誤的流程自動(dòng)化。這個(gè)模塊與Verdi系統(tǒng)的硬件描述語(yǔ)言(HDL)偵錯(cuò)功能完全整合，這是SpringSoft的Novas驗(yàn)證流程強(qiáng)化解決方案產(chǎn)品系列的基石，讓工程師的驗(yàn)證工作事半功倍。

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

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

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

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

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

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