思源科技（SpringSoft）於昨（7）日宣布，微軟公司Xbox產品開發團隊已運用Verdi自動化偵錯系統。思源科技表示，該偵錯平台使微軟團隊能夠快速理解預期的設計行為、找出設計錯誤和有效管理設計版本變動，避免繁雜而且耗時的手工步驟, 與過去執行過的專案相比, 在某些領域甚至可以縮短一半的偵錯時間。

Xbox團隊運用Verdi系統於最新的繪圖與微處理器晶片設計上，由於IC尺寸的縮小與其複雜性日益增高, 使工程師面臨史無前例的驗證挑戰。驗證工程師們必須仰賴偵錯軟體來自動化”尋找錯誤”的工作，並有效率地比較修正過後的不同設計版本。

微軟XBOX事業群資深驗證工程師Nguyen Le表示，Verdi工具使團隊縮短了一半的偵錯時間在最新的複雜晶片設計；其追蹤和比較設計的自動化功能堪稱無價。過去要耗費許多時間在追蹤問題上,但使用Verdi後，卻能夠迅速找出錯誤，並加以更正。

思源科技的工具提供自動化追蹤信號變動的功能，運用行為分析技術快速追蹤跨越多個時脈週期的信號變動。Verdi系統讓設計團隊能夠透過RTL描述而階層化地追蹤設計。即便搭配其他不熟悉的設計元素，驗證工程師們仍可快速理解設計碼中複雜的關係與相互影響，進而找出錯誤的根源。

思源科技Verdi產品行銷處長李新基表示，微軟的Xbox產品系列設計工作是IC設計業界要求最嚴苛和複雜的任務，看到微軟運用思源自動化偵錯解決方案所實現的成果，思源感到非常高興。Verdi原本就是為了要克服尋找、隔離與更正設計錯誤等嚴苛挑戰而精心開發的。微軟所達成的節約時間成果，在該公司所處的快步調消費性市場中更顯珍貴。