思源科技（SpringSoft）于日前宣布，海力士半导体（Hynix）已经在Verdi自动化侦错系统与Laker客制化布局自动化系统上完成标准化。海力士是思源科技的长期客户，部署Verdi软件作为数字设计的侦错平台，也部署Laker软件作为闪存应用的客制化芯片设计平台。

海力士计算机辅助工程分析部门(CAE)主管 Lee Sang-IL表示，提供最好的内存解决方案就是海力士的核心能力。这需要世界级EDA平台，以最高水平的生产力与效能满足海力士的设计与验证需求。思源科技了解这一点，为设计团队提供最高价值，运用Verdi与Laker聚焦于最关键的挑战。因为思源的省时自动化技术而获益良多。

Verdi自动化侦错系统是思源科技的先进侦错旗舰产品，也是验证强化解决方案系列的基石；运用Verdi独家分析引擎、威力强大的可视化功能以及专利设计追踪技术，使理解复杂的IC与系统芯片(SoC)设计的流程自动化，进而缩短一半以上的侦错时间。Laker解决方案提供高度自动化的客制化芯片设计环境，以更短的时间生产更卓越的成品，包括直觉式全功能电路图编辑器、使装置产生自动化的专利Magic Cell (MCell)技术，还有完整的电路图导向布局(SDL)流程以加速实体设计实现。