系统与设计
的意见

EDA的上空终于多云

这个行业为什么要花这么长的时间来熟悉云计算工具吗?

受欢迎程度

EDA公司多年来一直在谈论在云中提供他们的工具,包括文章比我可以用标题数EDA预报是多云,云在地平线上,等等。这篇文章的标题继续基于云的双关语的可疑的传统,但不涉及将来时态。最近宣布从几个EDA公司云支持终于出现,这里将成为一个主流的工具设计和验证。

是什么花了这个行业这么久?这是一个主题我第一次探索博客五年前几乎完全。当时,有相当多的buzz EDA在云中,几乎没有真正的业务。Synopsys对此联合ceo阿尔特·德·Geus引用的EDAC会议上的话说,“Synopsys对此做了0美元。”周期文章解决的问题(或者)EDA供应商和用户什么时候拥抱云计算。许多认为知识产权保护问题是最大的障碍要克服。

很理解为什么用户不希望竞争对手染指RTL代码,testbenches,断言,等。从理论上讲,一个设计可以被复制产生克隆芯片,可能防水层在目标市场销售机会。当然,设计和验证IP弥足珍贵,必须得到保护;没有争论。是这种形式的IP更宝贵的客户名单、财务数据、人事记录,和许多其他类型的关键数据,许多公司已经存储在云端?

换句话说,一个CEO,而CRM系统的全部内容或下产品受损的RTL代码吗?五年前我在思考这个问题,我还不确定的答案。这个话题等,出现在今年早些时候举行的一次圆桌会议讨论和发表三个部分由半导体工程。有一个清晰,用户变得更加适应云计算和EDA供应商有一个更好地了解是什么工具和知识产权保护技术在云模型效果最好。

实际上,五年前OneSpin算出来。事实上,它的公告云支持的形式验证是马刺原来我写我的博客。两年后,我问OneSpin提供一个更新云上的主动权。这反应了两个重要的点,今天依然适用。首先,分布式验证过程是适合云。很容易分配一个虚拟服务器池,在他们传播工作,并根据需要规模向上或向下。

正式的技术适合分布式过程——例如,分析每个断言在一个单独的服务器或运行多个并行引擎在同一断言证据。历史上,模拟运行在云服务器农场或通过运行不同的测试在每台机器上。然而,近年来,已取得显著进展的真正并行仿真,这样即使一个测试可以运行得更快。许多其他的EDA工具,包括合成和place-and-route逻辑,也可以受益于在云中运行。

第二点是,OneSpin地址的IP安全通过上载到云只有一个加密的正式模型不可能是逆向工程恢复RTL设计。OneSpin超越与加密模型只是在远程服务器上运行作业。只计算密集型、分布式的部分过程被发送到农场,与一个主进程在本地运行并收集结果。这提供了进一步的安全,因为即使结果可以被截取他们将毫无意义,没有当地的过程。

最后一点,也许一个明显的一个,就是批处理过程,如正式的验证或模拟回归最意义的云。交互式工具通常运行在本地机器上最大化的响应时间。上下自动伸缩的能力在每个用户的基础上,典型的批验证工作有可能成为有效的互动。如果你可以运行10000个就业机会只有三分钟,得到一个结果,而不是运行30工作1000分钟,这是一个巨大的差异在工程生产力。

鉴于并行性的指导方针、安全与批处理操作,很明显,计算可以为EDA和正在使用越来越多地工作。云从天气预报到地平线到右开销。我不愿做任何全面预测由于复杂的历史,但从最近的新闻,似乎云已经到来,它的时代已经到来。我们将密切关注该行业继续发展。像往常一样,欢迎提出你的想法和意见。



留下一个回复


(注意:这个名字会显示公开)

Baidu