周一在DAC 2018

DAC # 55开始传言飞行。这将是最后一个DAC我们知道吗?有学术界和业界之间形成一个巨大的鸿沟吗?DAC能够使它在拉斯维加斯当地没有兴趣?当然,那些一直在业界知道这种猜测每隔几年,发生在80年代,拉斯维加斯是一个很受欢迎的DAC的位置。甚至有一年当节奏退出。行业变化和变种的力量把它波动。

但今年DAC开始不同。周日通常是相当低调,表示对行业和接待。今年所有的改变。很长一段时间,加里史密斯提供了他的分析,首次与迪讯时,然后Gartner,然后作为一个独立和加里·史密斯EDA。他的传球后,火炬被劳丽鲍尔奇举行,主要分析加里史密斯EDA,最近变成基座的研究。今年,地幔Needham和通过公司。

而不是分析从内部看,这是一个分析从外面看:“市场”如何看到EDA。演示演示了如何虽然他们可能理解这些数字,他们不知道该行业和移动它的力量。它谈到了上市公司和他们的速度和他们获得的速度和市场行业的看法。它没有看到的变化开始发生在行业或谈论这些更改可能会影响未来的事情。它认识到FAANG股票的新司机,但未能识别的方式垂直控制的重点行业。

演讲后的核心技术(热)——加里史密斯纪念奖学金基金会的募捐活动。这也是你能听到一些音乐人才的行业。

通常情况下,DAC围绕吃喝,今天看到了完美的平衡。与节奏与Synopsys对此早餐,午餐,晚餐和导师,和晚上饮料和社交独立验证的公司数量。

Synopsys对此早餐展示了来自三路的伙伴关系的优势——一个IP供应商,胳膊,连同铸造,台积电。他们三人彼此提供知识,合作在优化工作,让客户更容易得到快速启动实施。Synopsys对此强调了他们的一些融合技术,工具之间共享数据。在一些例子显示相当大的改善区域或泄漏和显示机器学习是如何帮助他们找到一些最有前途的领域解决复杂的多参数优化问题。

主题是由莎拉·库珀,通用的物联网解决方案在亚马逊网络服务。云是DAC的重点地区之一。主题的标题是“建设连接设备,学习和发展”,将在后面的文章中完全覆盖。她说,她的工作是提出需要解决的问题。物联网的基本要求是让现实世界信息和使用这些数据来帮助人们。“那么为什么这么长时间到达设备的扩散?”她问道。“采用技术已迅速增加的速度。”

她谈到的改善现有的产品,如汽车。“你买技术债务——任何你买的东西几乎立刻将被更好的产品取代。我们必须了解购买习惯正在改变。正在改变的关系。我们必须使产品适应和改变后安装。我也想要了解和适应我的产品。“有趣的是,她对产品开发提出了一些建议,可能会引起一些人的质疑。“我们都习惯于集中力量和成本,但在一些复活节彩蛋是好的。”

讨论的焦点转向AI和处理数据,重点是回家。她承认,把一切向云是不可行,这意味着更多的处理必须在完成包括推断法和将来可能的培训。

星期一是教程,以及展览的开幕。五早上有教程,我坐在“利用数据科学的硬件验证过程。“演讲者Avi齐夫从IBM研究在海法,以色列和埃曼El Mandouh从导师,西门子的业务,在开罗,埃及。验证的设计使用许多工具和生产“吨”的数据。“虽然更多的数据被捕获,使用更少的数据有效,管理,分析和可用的工具和那些需要它,”Ziv说。它包括可视化、机器学习和数据挖掘数据的更好地了解。“验证过程中的目标是去关闭更快,“Mandouh说。后讨论可用的方法和工具,她第一次显示如何可以应用验证过程,特别是形式验证引擎的选择。第二个例子是在执行跟踪识别异常和第三找到相关性有关封面穿过这覆盖漏洞可以更快。

午餐是由节奏,他们组成一个小组,由半导体工程主持的安Steffora Mutschler。我把它留给她提供一份完整的报告这一事件。标题是“聪明和更快的验证在机器学习的时代。“你可能会开始看到一个主题关于今年DAC。

虽然有几个教程对机器学习在下午,我决定坐着3½小时谈论设计工具来验证硬件安全。大部分人是来自学术界,暗示这仍然是一个新兴领域。它的重要性无疑上升在过去的几年里,不太可能成为一个短时间内解决问题。但是考虑到较小的观众相比,其他的一些教程,还不是被普遍视为一个大问题。

加州大学圣芭芭拉分校和创始人蒂姆•舍伍德龟岛,提供了介绍。问题是,你永远不能做足够的验证来证明设计一切,更不用说找每一个漏洞,让设计做一些并不是意味着要做。舍伍德说过一个例子:“可以有许多的抽象层次之间存在漏洞和访问机制。花了多长时间一个团队建立一个确定的可利用的远程攻击- 2周。低挂水果往往是底层硬件和架构。你必须尊重你的对手,因为他们有一个大的金融激励。防止这需要一个翻天覆地的变化,我们必须是普遍的和精确的在我们的思维。没有一个答案——它需要从设计到部署最佳实践。”

一些与供应商会议之后,它成为了晚上的时候开始接近尾声。首先是Moscone大堂接待,其次是与导师共进晚餐。这一直是一个非常忙碌的一天后放松活动。沃利总是会谈,但不是你期望的东西,他说。他会取笑自己,工业和寻找模式的导师,你不该看的地方。今天晚上比平时更温和。与晚餐结束了,是时候了舞池与孩子们在验证。谢谢OneSpin, Breker,埃弗瑞和类似的其他14赞助商让我的脚移动,我的心跳加速,让我准备好睡眠和新的DAC的一天的开始。强调检查在明天。

看看DAC亮点周二和周三。