專業(yè)EDA軟件的全球供貨商SpringSoft今日宣布： 已與全球半導(dǎo)體測試設(shè)備的領(lǐng)導(dǎo)廠商Advantest Corporation 簽訂多年期合約，擴(kuò)大使用思源的Verdi自動化偵錯系統(tǒng)。Advantest 將在其增強(qiáng)型電子系統(tǒng)層級（ESL）的設(shè)計(jì)流程中使用Verdi以驗(yàn)證經(jīng)行為綜合軟件生成的RTL設(shè)計(jì)。
　
　　Advantest設(shè)計(jì)工程部的經(jīng)理Shinya Sato表示：┌ 我們早在數(shù)年前就已使用Verdi作為用于本公司自動化測試機(jī)臺（ATE）的各世代特殊應(yīng)用芯片（ASICs）之RTL模擬以及設(shè)計(jì)分析的標(biāo)準(zhǔn)偵錯平臺。  對于這些特殊應(yīng)用芯片而言，我們必須同時兼顧質(zhì)量與效能的超高標(biāo)準(zhǔn)。Verdi所提供的獨(dú)特先進(jìn)自動偵錯技術(shù)能自動的追蹤到錯誤發(fā)生的源頭，而這正替我們省下了寶貴的工程時間與資源。┘
　
　　Sato 先生還提到：┌ Verdi 幫助我們的工程師達(dá)到了上市時間和質(zhì)量目標(biāo)的要求。我們利用Verdi建立了從C到RTL 的先進(jìn)ESL合成方法，以達(dá)成更高的工程產(chǎn)值。我們相信Verdi能在我們建立的新流程中，對驗(yàn)證合成后的RTL碼提供特別的幫助。┘
　
　　SpringSoft產(chǎn)品營銷部處長李新基表示：┌ Advantest對于提供優(yōu)秀的技術(shù)解決方案已有悠久的歷史，也已被整合進(jìn)世界上一些最先進(jìn)的半導(dǎo)體產(chǎn)線中。我們很高興能見到其ASIC團(tuán)隊(duì)運(yùn)用我們的自動偵錯軟件，在快速成長的自動測試設(shè)備（ATE）市場中保持優(yōu)勢。┘
　
　　Verdi自動偵錯系統(tǒng)是SpringSoft的旗艦級先進(jìn)偵錯產(chǎn)品，它能使工程師們理解復(fù)雜IC或系統(tǒng)芯片（SoC）之工作原理的過程自動化，并節(jié)省一半以上的偵除錯時間。尤其是在面對不熟悉的他人遺留程序代碼（Legacy Code）或第三方智慧財(cái)產(chǎn)組塊（third-party IP）時效果更加卓越。這項(xiàng)全功能的系統(tǒng)使用獨(dú)特的分析引擎，能在時間軸上自動的追蹤設(shè)計(jì)行為，并提供各種不同的形象化視野讓使用者能觀察設(shè)計(jì)的不同面向，并分析設(shè)計(jì)中的因果關(guān)系。工程師更能使用其專利技術(shù)展現(xiàn)設(shè)計(jì)中的機(jī)能運(yùn)作，以及程序代碼、斷言（assertion）、和系統(tǒng)測試板之間的互動關(guān)系。