正式的混乱


《半导体工程》杂志坐下来与[getentity id="22649" comment="Broadcom"]的副技术总监Normando Montecillo讨论了应用正式验证技术的正确和错误方法;[getentity id="22709" e_name="Imagination Technologies"]首席工程师Ashish Darbari;华为首席工程师Roger Sabbagh;还有PMC Sierra公司的首席工程师斯图尔特·霍德……»阅读更多

正式的混乱


正式核查在过去五年中取得了很大进展。工具开发人员改变了方向,开始创建独立的应用程序,这导致了该技术的迅速扩散。但形式化是一套多样化的工具,可以解决验证领域中的各种问题,这在行业内造成了一种不同的混乱。找出这个行业是如何…»阅读更多

整合后的


最近的行业整合热潮继续对整个半导体行业产生影响。一旦这些交易被监管机构批准或否决,其中一些影响将会消退。其他人将在未来几个月或几年提出问题。整合并不是半导体行业的新趋势,但过去一年并购的速度和规模……»阅读更多

本周回顾:制造业


中国的小米曾是一家雄心勃勃的智能手机供应商。这家私人控股公司的市值为450亿美元。但由于股价下跌,该公司已经跌至谷底。“到2015年初,很明显,随着增长停滞,问题开始显现,此后小米所做的任何事情都无法重新启动它。小米有理由停止,因为有…»阅读更多

本周回顾:制造业


在fab工具业务的一个重大而令人惊讶的举动中,Lam Research已经达成了一项最终协议,以约106亿美元的现金和股票收购KLA-Tencor。Lam Research和KLA-Tencor一直致力于将工艺和工艺控制结合在一起,以扩大工艺窗口,更好地实现复杂的生产步骤,如多模式。这份收购形式…»阅读更多

验证引擎连续体中的前15个集成点


不同验证引擎(动态和静态)之间的集成游戏正如火如荼地进行着。Jim Hogan谈到了他称之为“COVE”的动态引擎,而我最近在DAC 2015的“使用模型的多用途性是模拟投资回报的关键”中对一些客户示例进行了回顾,并指出了对COVE的非常具体的采用。以下是我的15个积分点……»阅读更多

本周回顾:制造业


IHS称,汽车半导体市场的供应商在2014年经历了异常增长。根据对2014年业绩的最终分析,根据排名,瑞萨在2014年保持了其头号供应商的领导地位。“2015年,IHS预计这一类别的领先供应商将发生转变,因为最近两家公司飞思卡尔和恩智浦合并了。»阅读更多

本周回顾:设计/物联网


莱迪思半导体(Lattice Semiconductor)同意斥资6亿美元收购Silicon Image,后者为移动和消费电子产品提供高清内容连接解决方案。莱迪思已经开发了可编程连接解决方案,因此合并后的IP组合有望加强其在有线和无线市场的地位。工具Cadence扩展了工具组合…»阅读更多

技术讲座:云能源


PMC杰出工程师Kenneth Wagner谈到了在数据中心和移动设备中节约能源的必要性,以及实现这一目标的最佳方法。该视频是在Cadence Low Power Summit上拍摄的。[youtube视频= tXx8-qX4vm4]»阅读更多

Baidu