思源科技（SpringSoft）於日前宣布，海力士半導體（Hynix）已經在Verdi自動化偵錯系統與Laker客製化佈局自動化系統上完成標準化。海力士是思源科技的長期客戶，部署Verdi軟體作為數位設計的偵錯平台，也部署Laker軟體作為快閃記憶體應用的客製化晶片設計平台。

海力士電腦輔助工程分析部門(CAE)主管 Lee Sang-IL表示，提供最好的記憶體解決方案就是海力士的核心能力。這需要世界級EDA平台，以最高水準的生產力與效能滿足海力士的設計與驗證需求。思源科技瞭解這一點，為設計團隊提供最高價值，運用Verdi與Laker聚焦於最關鍵的挑戰。因為思源的省時自動化技術而獲益良多。

Verdi自動化偵錯系統是思源科技的先進偵錯旗艦產品，也是驗證強化解決方案系列的基石；運用Verdi獨家分析引擎、威力強大的視覺化功能以及專利設計追蹤技術，使理解複雜的IC與系統晶片(SoC)設計的流程自動化，進而縮短一半以上的偵錯時間。Laker解決方案提供高度自動化的客製化晶片設計環境，以更短的時間生產更卓越的成品，包括直覺式全功能電路圖編輯器、使裝置產生自動化的專利Magic Cell (MCell)技術，還有完整的電路圖導向佈局(SDL)流程以加速實體設計實現。