中文 英语

在开源时代验证

在RISC-V处理器核心的背景下,开源验证意味着什么?它是否提供免费的工具,免费的测试平台,或者创新的自由?

受欢迎程度

the Table: Semiconduct德赢娱乐网站【官方平台】or Engineering的专家们与Jean-Marie Brunet一起坐下来讨论开源验证今天意味着什么,以及它应该发展成什么。Jean-Marie Brunet是mit仿真部的高级主管西门子eda.;Ashish Darbari,Axiomise的首席执行官;Simon Davidmann,CEOImperas软件;Darpa Microsystems技术办公室的计划经理Serge Leef;陶刘,谷歌芯片实施和集成团队的员工五金工程师;和Bipul Talukdar,SmartDV应用程序工程总监。这是在DVCON举行的面板会话的适应。

SE:很多人喜欢开源验证环境的概念,但是什么是开源验证环境?

深色的:开源验证对我们来说意味着什么,西门子EDA,更精确地在硬件辅助验证域中?这真的是常见的。您需要视图,您需要编译的RTL,您需要一个运行的测试台,您需要qemu,以便您可以进行混合仿真。与硬件辅助验证,仿真和原型设计提供商的角度来说并不过于差不多。

Darbari:开源并不意味着一切都是免费的。在测试和验证的背景下,开源的工具不会自动转化为高质量的验证。使用这些工具需要专业知识来发展和很多人类努力。在硬件开源设计的背景下,它与软件不同。可以修补软件,而硬件则不能。强调验证的优质方面非常重要。在开源的背景下,在专有发展的背景下,在专有发展的背景下,这是可见性,透明度和可重复性的这种方面,而不会让供应商锁定。重要的是,任何工具都可用于重现结果,验证计划。一切都是透明的。

戴维曼:我们的重点是软件,帮助人们获得软件和运行。发生了什么事RISC-V.,这只是一个ISA(指令集架构),我们是否意识到RISC-V周围的所有兴趣都没有关于软件。这是关于人们如何设计处理器。我们转换为risc-v周围的验证焦点。对我的问题是关于质量开源硬件。当您建立包含处理器阵列的现代SOC时,挑战和成本不在验证工具中。它实际上是完成验证。实际上,你应该买,借用,乞求任何你可以,得到更好的质量。如果是开源,那就太好了。如果是商业,您应该使用最佳技术。

leef.当我在商业EDA工作的时候,我从来没有特别相信开源,包括开源验证。摩尔定律在路的尽头,所以我们不能指望处理器时钟速率继续增加,因此仿真性能已经停滞不前。人们正在考虑分布计算以支持模拟和验证,转到云。当您转到云时,您对实例有乘法需求。当您需要百万许可证时,每个许可证的成本变得令人望而却步。在国防生态系统中,没有任何协调的购买能力和非常复杂的契约,这些人因成本而寻求开源验证。我们应该在寻找数字仿真的开源,特别是事件驱动的模拟吗?我们需要重新思考模拟内核,使其更好地映射到云端,使其可以随附的情况下线性扩展,因此我们可以使用HPC策略。因此,在我的社区中,开源验证是由成本驱动的。

我们已经构建了这个验证环境,基于SystemVerilog/uvm.,也基于约束随机。这意味着你有很多工具依赖,你不能用开源模拟器运行它-在这一点上。但是,如果你开放一个工具的源代码,就像我们对刺激生成器所做的那样,那么你就为社区增加了价值。人们已经有了驾照。他们可以使用它,可以定制它。如果我们的目标是完全免费的端到端验证,那么你必须支持很多工具——回归、覆盖和许多类型的工具。这将花费更长的时间,并且会限制您的验证方法,因为您可能没有商业工具中的高级特性。免费的东西当然很好,但这并不意味着开源必须是免费的。

Talukdar.开源验证正在与开源设计开发竞争。考虑到所有持续集成的到位,以及为开源设计做出贡献的人数,它大大加快了硬件设计的步伐。现在,验证工程师面临的挑战是如何匹配。他们需要能够验证规范中的内容。这是一个需要解决的大问题。想要使用开源设计的人需要探索外面有什么,一旦他们选择了什么,他们就必须验证它。这就是问题开始的地方。对于验证来说,有一些服务公司可以在市场上赚钱,但是对于开源验证来说,完成验证并不是一件正常的事情。开源验证最初是为了解决一个不同的问题——为更大的利益做出贡献。它是来自世界各地不同的工程师的贡献,以建立更好的技术。

深色的:开源并不意味着自由。如果每个人都考虑开源就像免费访问IP核心一样,这是错误的方式来看它。有一个方面是商业上更有利的,但它不是自由。天下没有免费的午餐。它是关于互操作性,在社区中可以更自由地访问和交换信息。如果我从销售核心的大公司购买核心,那就无法获得便宜的东西。这是错误的方法。

戴维曼我想说的是,拥有开源验证解决方案给了你更多的自由。我不需要为他们建造的发电机支付谷歌,但是当我们与客户一起为RISC-V的向量处理器工作时,我们使用了他们的技术,这是开源提供的。对我们来说,有趣的并不是它是免费的。而是我们可以扩展它,改变它,让它做我们需要它做的事。我们以他的团队所做的工作为基础。它给了我们自由去加速我们想要与客户达成的目标。

Darbari这里有两个主题。一个是推动集成协作和创新,另一个是成本方面。关于第二个主题,我们要问的是谁为这些所谓的廉价或免费模拟器或工具买单?负责核实的人呢?总得有人付钱吗?

leef.美国纳税人将为其中的一部分买单。我们在开源EDA和开源知识产权项目上投入了大量资金。原因是多方面的。其一是推动EDA内部的创新,坦白说,EDA自1988年以来就停滞不前。另一个是使服务不足的设计社区能够从云中的可伸缩性中获益。雇佣和雇佣工程师需要人力成本。你要为此付出代价。显然,您必须设置验证会话,而模拟只是其中的一个元素。有很多测试台,在云中分发测试台的方式也有很多,而现在这些都是手工完成的。如果能实现自动化就好了。 So there is no difference as to who pays. It’s just that when I have a customer that’s running 1,000 instances, they don’t have to pay for 1,000 licenses.

Darbari:私营部门没有这种奢侈品。没有纳税人支付我的发展成本。我们做了一个正式验证risc-v的应用程序它是世界上唯一适用于市场上所有正式验证工具的应用程序,允许人们完成自由,没有供应商锁定。然而,人们期望这是免费的,因为它是向开源RISC-V生态系统提供价值的一部分。Silicon供应商不免费提供他们的处理器,他们应该支付他们使用的服务和工具。

leef.如果你在增加价值,市场应该认识到这一点,你应该得到补偿。顺便说一句,美国纳税人也在帮助你们,因为我们正在投资的开源将在全世界范围内可用——就目前而言。

第二部分将考虑RISC-V处理器验证是否将为开发新的验证方法提供共同基础,以及这是否将自然地导致新的和潜在的开放工具。



1评论

阿里哈德夫 说:

不幸的是,目前缺乏可靠的开源TCAD工具。
大多数开源TCAD工具用于教学目的,非常有限和/或粘在未完成的状态。
这是半导体行业和社会的耻辱。我们可以从CFD社区中学到一些东西。

发表评论


(注意:此名称将公开显示)