Cadence收购Jasper Design Automation扩展其验证解决方案

摘要

Cadence近日宣布，该公司已达成一项最终协议，以现金约1．7亿美元收购形式分析（formal analysis）解决方案供应商Jasper Design Automation，Inc．。