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