验证在云中

埃德·斯珀林
按租赁云验证资源终于开始在十多年后,错误的开始和过于乐观的预期。

所有主要的EDA供应商现在提供云计算服务。他们认为这是一种补充芯片制造商的现有资源在不同峰值使用时间,或者中小型公司许可按这种技术无需购买价值数百万美元的模拟器。市场增长的速度是任何人的猜测,但EDA公司说的态度已经改变了足以证明他们的投资。

大芯片制造商使用内部云已经过去两年了。这种方法提供了更多粒度的优先工程组在某些时候可以访问哪些资源。采用公共云看到慢几个原因,但即使这样也开始改变。首先,芯片制造商很难信任别人和他们的数据。以及相关的,他们宁愿分离出一些数据验证但不是全部,使整个生产过程更费时,更难以整合必要的改变。

“人们已经把所有他们最敏感的业务数据到云,所以这种商业模式变得更加可以接受,”Frank Schirrmeister说,抑扬顿挫的高级组仿真产品管理和营销主管,fpga原型和硬件/软件实现。“现在,我们看到越来越多的开放设计在云中。访问更快的执行速度超过安全问题的灵活性。”

有良好的商业这种转变背后的原因,。“大公司有足够的事情让他们的设备忙,“说Krzysztof Szczur,硬件验证产品经理Aldec。“但小公司买不起足够的模拟器。他们能做到这一点的唯一方法就是使用模拟在云中。”

Szczur指出成本以外的其他优势。基于云计算的资源是无限的。服务器空间可以快速增加使用一个固定配置的仿真器和一个FPGA板。它也不需要一个公司来维护这些服务器。“客户上传文件到S3 (Amazon Simple Storage Service)和他们的工作模拟已经预装了设计编译。”

图1:亚马逊网络服务。来源:亚马逊

的冒险尝试进入云来自OneSpin解决方案。”形式验证非常适合并行执行,”David Kelf说OneSpin负责营销的副总裁。“与UVM为模拟的刺激,每个断言可以独立操作合理,这意味着一群断言可以部署在一系列的机器。”

Kelf指出,云计算服务”之间不存在成本差异并行和串行操作,但在墙上时钟时间的平行的要快得多。与云你本质上有无限的机器产能,所以正确的商业模式并行操作是一个微风。这是一个巨大的胜利为云,我们观察到在实践中,特别是在验证空间”。

抢劫是什么?
初始计划验证作为服务的历史至少可以追溯到千禧年的开始。这些计划过于雄心勃勃,原因很多。一个涉及定价。

“最初我们有很多人来我们说他们想主机外部,”说,总裁兼首席执行官导师,西门子业务。“我们告诉他们,我们能做的,然后我们开始谈论价格。他们说他们想要一天的口径验证。这多少钱?我们会说,‘如果你租一辆车一天,你会一样如果你租一个一个星期?如果你租一辆车一年,那是什么?我们也做了同样的事情,他们突然认为购买一分钟的模拟将是非常昂贵的相比,购买一年的模拟和分裂。突然的热情下降。整个设计自动化灭绝了。这是回来了。 We will settle out the pricing. The algorithms more and more will take advantage of the enormous capacity available, and not everyone can afford to have 60,000 servers in their company. But it’s been very slow in design automation compared to a lot of other industries.”

第二个是因为缺乏基础设施。来回移动巨大的文件和复制工作在第三方数据中心并不是一个令人信服的模型。

“改变的是每个人都知道如何来回传输文件,所以它是一个扩展自己的网络,“Schirrmeister说。“这是一个内部的自然延伸人们用来做什么。在某些情况下,你不想要一个物理设备,可以按重置按钮。”

第三个障碍包括芯片制造商的内部政策。直到最近,一些芯片制造商没有规则,IP或代码可能会让企业的前提。员工需要书面同意遵守这些规则当雇佣他们。在这种情况下,这些规则可以弯曲或断裂,公司担心把所有设计数据向云是有风险的,所以他们只会罚下设计的一个子集。要求它与其余的同步设计数据,麻烦,它打败了为什么他们会在第一时间使用外部数据资源。

从而大大提高了安全。OneSpin花了相当多的努力确保知识产权保护,所有机器的安全层。“为什么,你可能会问,还有一个问号IP安全呢?”大卫•Kelf问OneSpin营销副总裁。“嗯,工程师必须说服非技术人员,IP不能泄漏通过这种机制,并将高级管理人员的思想,法律部门,等等,并说服他们,这是好的,实在是太重要了。所以现在的门槛是非技术人员的看法。当这是克服,因为它已经在其他行业,云能起飞,因为好处非常明显。”

即使机器是安全的,有额外的方法来保护数据。“OneSpin已经开发了一种机制,不转让设计IP网站,“Kelf说。“这是使用属性的形式验证操作的方式。相反,数学证明的问题是发送到云。”

Kelf指出,数据加密,结果也一样,从没有完整的IP离开本地机器。OneSpin认为这是不可能重新设计使用这种方法。

与云安全增加了舒适度,。“所有的EDA公司达成了交易至少五年前与AWS或者其他云提供商,如果客户想利用他们可以使用一个农场,”莱茵说。“它不工作的原因有很多。一个是安全。当时公司不希望他们的安全信息在他们的防火墙。我很吃惊,因为他们与他们的银行账户没有问题或股票经纪人账户,但是他们不想让他们的设计的防火墙的信息。现在他们看AWS是相当复杂的安全,所以也许不是这么大的担心。但半导体公司仍然不希望他们的信息。”

Aldec Szczur指出,云计算和连接现在安全,有助于减少这些担忧。“他们现在可以直接使用一个安全的VPN连接到云,”他说。“现在很多便宜比购买许可证。它已经启动并运行,公司发现芯片产生很多机会他们没有一定的计划。这是原因之一,小型和中型公司需要仿真。”

第四个障碍包括在云中使用IP的合法性,进一步复杂的一个因素的存在多个供应商的硬件和工具。而公司不愿公开讨论这个问题,私下里他们说这些法律因素是重要的和难以在过去。但他们也指出,最近进展,基于云计算的市场日益活跃。

图2:云利用趋势。来源:IDG

结论
仍然有问题需要解决与EDA在云中,但大量的资源在特定时间的可用性在设计周期提供一个令人信服的理由需要的基础上利用这些服务。是否完成由大公司内部或外部公共云的规模较小的公司,尚未确定。

“云是大规模的自然位置所需的弹性计算芯片验证,“Jaushin Lee说,创始人兼首席执行官Zentera系统。“但你实现一个安全的环境,主机IP的其他租户在多租户云?一旦你走出企业防火墙利用云的底层基础设施不同,导致潜在的新漏洞。我们等公司提供自动化的安全基础设施覆盖解决方案的多重云企业控制和锁定你的IP与深度防护保护。这些下一代解决方案让设计师专注于芯片设计而不是IT基础设施。”

事实上,更多的公司是跳进这个市场提供了另一个数据点,这种方法最终变得流行。的态度正在改变,大部分的基础设施,让这项工作已经敲定了。现在的问题是如何将成为粒状的定价模型,以及公司是否能够动态添加相应能力和支付。将决定市场的增长速度以及是否将从有趣的概念和稳定业务的图让外人注意了。

布莱恩·贝利和安Steffora Mutschler对此报道亦有贡献。

有关的故事
EDA走出阴影
这个部门专注于应用程序在更大的系统。
验证和物联网
专家在餐桌上,第3部分:转移,延长;使用机器学习和数据挖掘寻找新的bug和开辟新的使用选项
验证和物联网
专家在餐桌上,第2部分:什么是足够好,当你知道你在那里吗?
验证和物联网(第1部分)
特定于应用程序的验证,为什么质量可能会有所不同从一个市场下;为什么不同模型在不同的时间准备。
验证统一(第2部分)
策略使用便携式刺激驱动正式和仿真,以及覆盖的共同点。
系统级验证处理的新角色(第2部分)
小组成员讨论混合不同类型的系统,要求模型不连续和常见的刺激和调试的需要。