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