元器件交易网讯 4月23日消息，据外媒报道，铿腾电子（Cadence）设计系统公司已核准收购形式分析工具供应商Jasper设计自动化公司，收购金额为1.7亿美元现金。

　　Cadence已经意识到较传统验证方法，形式化分析工具应用正在不断增长。

　　Cadence称：“随验证占片上系统开发成本的70%以上，验证已经成为系统和片上系统开发的最大挑战，也是产品投入市场的关键因素。”

　　受成交管理和监管部门审批影响，该交易预计于2014年第二财季完成。（元器件交易网毛毛  译）

　　以下为原文：

　　Cadence Design Systems has agreed toacquire Jasper Design Automation, a supplier of formal analysis tools, foraround $170m in cash.

　　Cadence has recognised the growing use offormal analysis to complement traditional verification methods.

　　“With verification representing over 70% of the cost of developing asystem-on-chip, it has become the top system and SoC development challenge andis the critical factor for time-to-market,” said Cadence.

　　Jasper’s formal analysis solutions are usedby customers today alongside Cadence’s metric-driven verification flow in averification platform.

　　The verification platform will beintegrated with Cadence’s common debug analysis, formal and semi-formalsolutions, simulation, acceleration, emulation and prototyping platforms.

　　“Jasper’s products are recognised as the technology leaders in formalanalysis, targeting complex verification challenges and increasing overallverification productivity,” said Charlie Huang, senior v-p of the system &verification group at Cadence.

　　Cadence intends to finance the transactionwith available cash and an existing revolving credit facility. The transactionis expected to close in the second quarter of fiscal 2014, subject to customaryclosing conditions including regulatory approvals.