SpringSoft宣布，海力士半导体(Hynix Semiconductor Inc，Hynix)已经在Verdi™自动化侦错系统与Laker™定制版图自动化系统上完成标准化。海力士是SpringSoft的长期客户，部署Verdi软件作为数字设计的侦错平台，也部署Laker软件作为闪存应用的定制芯片设计平台。

    海力士总部位于韩国，是动态随机存取内存(DRAMs)、闪存(NAND Flash)与CMOS影像传感器(CIS)芯片的全球顶尖内存半导体供货商，为全球各大企业供货。SpringSoft工具让海力士的开发团队能够在高质量内存解决方案的功能验证与实体设计方面大幅提高生产力。

    海力士计算机辅助工程分析部门(CAE)主管 Lee Sang-IL表示：「提供最好的内存解决方案就是我们的核心能力。这需要世界级EDA平台，以最高水平的生产力与效能满足我们的设计与验证需求。SpringSoft了解这一点，为我们的设计团队提供最高价值，运用Verdi与Laker聚焦于最关键的挑战。我们已经因为他们的省时自动化技术而获益良多，当然也期盼能够持续这项成功的合作关系。」

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

    SpringSoft营运长暨执行副总邓强生表示：「Verdi与Laker是目前芯片开发生态之中重要的一环，因为它可以节省工程师的时间，在更短的时间内完成更多验证，以及花费更少力气而产生高质量设计。海力士承诺以一流工具与设计流程打造产品开发引擎，巩固其产业领导地位，并带动韩国核心内存事业与半导体产业起飞。」