当前位置:首页 > 智能硬件 > 半导体
[导读][导读] 日益增长的验证复杂性正推动着包括形式分析的多种互补验证方法的需求,而 Jasper是快速增长形式分析行业的领导者,目标针对各种复杂验证的挑战,Cadence与Jasper的结合将扩大产业最强与最广泛的系统验证产品的

[导读] 日益增长的验证复杂性正推动着包括形式分析的多种互补验证方法的需求,而 Jasper是快速增长形式分析行业的领导者,目标针对各种复杂验证的挑战,Cadence与Jasper的结合将扩大产业最强与最广泛的系统验证产品的差异性优势。 关键词:IP核CadenceSOC

2014年4月25日,中国——全球电子设计创新领先企业Cadence设计系统公司(NASDAQ: CDNS)今天宣布,该公司已达成一项最终协议,以现金约1.7亿美元收购形式分析(formal analysis)解决方案领先供应商Jasper Design Automation, Inc.。截止2013年12月31日,Jasper约有2,400万美元的现金、现金等价物和短期投资。

Jasper设计自动化公司是快速增长的形式分析行业市场和技术的领导者,利用其JasperGold®平台提供多种验证解决方案(Verification Apps)。Jasper的客户包括众多顶级系统、半导体和IP公司。这些公司,同时也是Cadence的客户,正越来越多地采用形式分析以补充传统的验证方法,从而更好地应对需要验证日益复杂和灵活的IP设计以及系统级芯片(SoCs)设计的挑战。随着验证占据开发系统级芯片设计的成本超过70%,验证已成为顶级系统和SoC开发的挑战以及满足产品上市时间的关键因素。

Jasper的技术优势与Cadence系统开发套件具有很强的互补性,后者自2011年起就一直成为集成系统验证解决方案的旗手。两者的结合将扩大业界最强与最广泛的系统验证平台的差异优势,并将与Cadence常见的调试分析、形式和半形式化解决方案、模拟、加速、仿真和原型平台紧密集成,同时可充分利用其统一的验证计划和指标驱动式验证流程。另外,广泛动态与形式化VIP产品组合的结合将特别适合于实现嵌入式处理器系统的验证。

“Jasper的产品被公认为是形式分析领域的技术领导者,目标针对复杂的验证挑战和提高整体验证效率,”Cadence系统与验证部门兼全球销售资深副总裁黄小立(Charlie Huang)表示。“当今的客户在使用Jasper的形式分析解决方案的同时使用Cadence的指标驱动式验证流程以形成广泛的验证解决方案。我们期待欢迎Jasper强大的形式开发专业知识和技术团队加入到Cadence。”

Jasper与Incisive®形式技术和专业知识的结合将导致产业中产生最完整的形式和半形式化产品。随着越来越多的主流客户采用验证应用程序用于IP和SoC开发设计,凭借其广泛的验证产品组合和全球团队优势,Cadence有机会加速在新兴的形式分析行业的扩张。“Jasper与Cadence一道为顶级客户提供服务将使客户从扩充的形式技术和更广泛的紧密集成的验证解决方案中受益,”Jasper总栽兼CEO Kathryn Kranen表示。“当验证技术结合到一起时可将形式与动态技术合并,形成一个全面的指标驱动验证方法,可实现各方的优势并利用它们之间的整合从而使客户受益。”

Cadence拟通过可用现金和现有的循环信贷融资为该交易进行融资。该交易预计在2014财年第二个季度完成,但需取决于通常的交易条件包括监管部门的批准。Cadence预计该交易在合并相关会计处理的影响后将会增加其非公认会计原则下2015年度每股收益。对于2014财年非公认会计原则每股收益的影响,Cadence将在报告其2014财年第二季度的财务业绩时提供。对公认会计原则每股收益的影响将在完成估值和购入会计处理后提供。

关于 Cadence

Cadence公司成就全球电子设计技术创新,并在创建当今集成电路和电子产品中发挥核心作用。我们的客户采用Cadence的软件、硬件、IP、设计服务,设计和验证用于消费电子、网络和通讯设备以及计算机系统中的尖端半导体器件。公司总部位于美国加州圣荷塞市,在世界各地均设有销售办事处、设计中心和研究机构,以服务于全球电子产业。

本站声明: 本文章由作者或相关机构授权发布,目的在于传递更多信息,并不代表本站赞同其观点,本站亦不保证或承诺内容真实性等。需要转载请联系该专栏作者,如若文章内容侵犯您的权益,请及时联系本站删除。
换一批
延伸阅读

中国,北京 – 2025年9月10日 – 低功耗无线解决方案创新性领导厂商Silicon Labs(亦称“芯科科技”,NASDAQ:SLAB)今日宣布:其第二代无线开发平台产品组合的最新成员FG23L无线单芯片方案(So...

关键字: 物联网 SoC

毋须依赖实时操作系统(RTOS)的全新低功耗蓝牙开发软件解决方案面世,旨在帮助开发者从传统nRF5 SDK和nRF52系列轻松迁移至新一代nRF54L系列

关键字: 低功耗蓝牙 SoC SDK

Puttshack 的 Trackaball 以 Nordic nRF54L15 系统级芯片 (SoC) 监控传感器并实现低功耗蓝牙连接,并以nPM2100 电源管理集成电路(PMIC)节省耗电

关键字: SoC 传感器 集成电路

2025年8月21日 – 专注于引入新品的全球电子元器件和工业自动化产品授权代理商贸泽电子 (Mouser Electronics) 即日起开售Silicon Labs全新xG26系列无线SoC和MCU。xG26片上系统...

关键字: SoC 微控制器 物联网

3系列Secure Vault在第三代无线开发平台产品组合中的SiXG301 SoC上首次亮相,获得了先进物联网保护的最高级别认证

关键字: 物联网 SoC 无线电

基于智能体的新型安全服务通过自主AI智能体降低运营成本,同时加快响应并扩大覆盖范围 2025年,7AI平台已为各安全团队节省22.4万个分析师工时——相当于约112位分析师全年工作量,价值1120万美元 拉斯维加斯2...

关键字: AI 智能体 SoC AGENT

随着高解析度音频应用的不断发展和广泛部署,诸如USB与I2S之间等不同专业接口之间的高品质音频转换需求日益增长,由此带来了实现高性能、高实时性与高灵活性的新挑战。为此,边缘AI和智能音频专家XMOS携手其全球首家增值分销...

关键字: SoC USB 处理器

-Automation Anywhere宣布在AWS Marketplace全新AI智能体和工具类别中推出智能体产品 纽约2025年7月17日 /美通社/ -- 在AWS纽...

关键字: AUTOMATION 智能体 AN AI

借助可理解自然语言、无需编码即可将意图转化为行动的AI流程智能体,为商业用户赋能 纽约2025年7月17日 /美通社/ -- 在AWS纽约峰会上,智能体流程自动化(APA)...

关键字: AUTOMATION 集成 AWS 智能体

该公司通过 AI 驱动的自动化帮助全球企业提高生产力并推动业务转型,凭借该成果获得 AWS 生成式 AI 能力认证 纽约 2025年7月18日 /美通社/ -- 在A...

关键字: AUTOMATION AWS AN 生成式AI
关闭