中文 英语

标签:开源的验证

标准、开源和工具
通过布莱恩•贝利- 2021年5月10日-意见

与会专家:《半导体工程》与西门子EDA仿真部高级总监Jean-Marie Brunet讨论了开源验证在今天意味着什么，以及它应该发展成什么;Axiomise首席执行官Ashish Darbari;Imperas Software首席执行官Simon Davidmann;DARPA微系统技术办公室项目经理Serge Leef;刘涛，硬件工程师…»阅读更多

墨守成规
通过布莱恩•贝利- 2021年3月25日-意见:4

在DVCon关于开源验证的小组讨论中(第一部分已与本博客一起发布)，您将了解到小组成员之间的激烈辩论。这涉及到EDA行业的创新能力。一方面，有人指责自1988年以来就没有真正的创新。另一方面，在……方面已经取得了惊人的进展。»阅读更多

开源时代的验证
通过布莱恩•贝利- 2021年3月25日-评论

与会专家:半导体工程公司坐下来讨论开源验证在今天意味着什么，以及它应该发展成什么，西门子EDA仿真部门高级总监Jean-Marie Brunet;Axiomise首席执行官Ashish Darbari;Imperas Software首席执行官Simon Davidmann;DARPA微系统技术办公室项目经理Serge Leef;刘涛，员工hardwa…»阅读更多

开源的最大机遇
通过布莱恩•贝利- 2021年2月25日-意见:7

下周，我将在虚拟DVCon上主持一个关于开源验证主题的小组讨论。我觉得在领英(LinkedIn)上为这次活动做个广告会很好，看看是否有人愿意向我发送针对小组成员的结构合理的问题。所发生的事情让我有点惊讶，因为讨论几乎都集中在对开源验证工具的需求上。在我看来……»阅读更多

用于开源验证的组件
通过布莱恩•贝利- 2020年9月2日-评论

定义一个开源验证方法比仅仅开发一个开源模拟器要困难得多。这就是RISC-V等开源硬件面临的现实。有些人可能会要求相应的开源验证，但这是一个更棘手的问题——而且它不会在短期内解决。第一部分分析了为什么开源…»阅读更多

开源的验证
通过布莱恩•贝利- 2020年7月30日-意见

问不同的人开源验证意味着什么，你会得到很多不同的答案。它们的范围从开源硬件的验证，到提供开源验证基础设施，到提供开源流生成器或参考模型，再到开源模拟器和正式验证引擎。验证是为了降低风险。“验证…»阅读更多

  • 赞助商

关于

导航

与我们联系

版权所有©2013-2023 SMG |服务条款|隐私政策
Baidu