中文 英语

标签:axiomize

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

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

新方法创造新机会
通过布莱恩•贝利- 2021年4月27日-意见:0

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

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

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

  • 赞助商

关于

导航

与我们联系

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