2011年11月16日，全球IC設(shè)計的EDA供貨商SpringSoft今日宣布，已獲得CM Engineering Co. Ltd. (CM-E) 采用Verdi全自動偵錯系統(tǒng)作為其標準偵錯平臺。藉由采用Verdi，CM Engineering 期望能大幅改善驗證效率，針對第三方驗證服務中日益增加的驗證復雜度所產(chǎn)生的需求，提供實時而有效率地響應。

CM-E采用了先進的芯片設(shè)計與驗證流程以及高階的EDA技術(shù)，以讓工程師們能有效率地達成客戶的需求，并持續(xù)加強驗證環(huán)境。SpringSoft的Verdi偵錯軟件已被整合入此高階驗證流程中，Verdi在此流程中提供了業(yè)界最佳的自動化偵錯能力，并使流程中各種不同的軟件套件得以在單一平臺及接口中順利地互相溝通，大幅增加了CM-E工程師們的產(chǎn)能，

CM Engineering總裁Mr. Atsushi表示：：「為了達成大型系統(tǒng)芯片驗證日趨復雜而產(chǎn)生的種種需求，我們的設(shè)計驗證環(huán)境需要最好的效能，因此我們采用業(yè)界的標準方法來將所有工具整合至我們的環(huán)境中。藉由在偵錯的部分采用Verdi系統(tǒng)，我們期望能達成更高的驗證效能，并減少在不同工具間的復雜接口需求?！?BR>
SpringSoft日本區(qū)總經(jīng)理Tomoyuki Kawarai表示：「在驗證復雜度不斷成長的環(huán)境下，要同時增加使用者的產(chǎn)能，是相當重大的挑戰(zhàn)。我們非常感謝CM-E engineers對Verdi系統(tǒng)的信心，也期待能透過我們的Certitude功能驗證品管系統(tǒng)和Siloti能見度增強系統(tǒng)，幫助他們進一步延伸Verdi的偵錯能力，以在他們最高階的應用中提供以斷言為基礎(chǔ)（assertion-based）的驗證和低功率設(shè)計（power-aware design）的解決方案?！?BR>
Verdi自動偵錯系統(tǒng)是SpringSoft針對高階偵錯推出的旗艦產(chǎn)品。它能透過將理解復雜IC和系統(tǒng)芯片（SoC）工作原理的過程自動化，以減少一半以上的偵錯時間，尤其是在處理不熟悉的設(shè)計組件或第三方IP模塊時更能發(fā)揮效果。此一全功能的系統(tǒng)透過其獨創(chuàng)的分析引擎，能將跨時區(qū)的功能追蹤自動化、提供各種強大的設(shè)計視野以將設(shè)計圖形化、幫助分析設(shè)計中的因果關(guān)系，并使用其專利技術(shù)將設(shè)計、斷言（assertion）、以及系統(tǒng)測試板（system testbench）間的相互關(guān)系及功能運轉(zhuǎn)完整的展現(xiàn)出來。

EDS Fair 2011的參與者們可以在Springsoft K.K. 的攤位上（Exhibit Booth #F-14）見到Verdi偵錯系統(tǒng)的第一手演示。這項展覽將會在十一月十六日至十八日期間于橫濱太平洋展覽中心（Pacifico Yokohama）舉行，會中將展示涵蓋半導體科技和系統(tǒng)設(shè)計的業(yè)界領(lǐng)導解決方案。