中文 英语

标签:uci

对开源验证持续的挑战
通过布莱恩•贝利- 01年2021年6月,-评论:1

专家表:这是本系列文章的最后一部分来源于DVCon小组讨论验证在开源的时代。需要讨论超出了发生在面板和利用带来的一些问题,但从未向小组成员由于缺乏时间。首席执行官导致讨论阿施施Darbari Axiomise;哔叽L…»阅读更多

标准、开源和工具
通过布莱恩•贝利2021年5月- 10 -评论:1

专家在餐桌上:半导体工程讨论今天开源验证意味着什么,它应该与让-玛丽•进化成深色,西门子EDA仿真部高级主管;首席执行官阿施施Darbari Axiomise;首席执行官西蒙Davidmann治之软件;哔叽Leef,项目经理在微系统技术办公室;刘涛员工硬件工程师……»阅读更多

进化的验证工程师
通过布莱恩•贝利——5月22日,2019 -评论:0

半导体工程坐下来讨论的意义有一个可执行的规范,推动验证与Hagai Arbel, VTool首席执行官;Adnan哈米德,首席执行官办公室Breker验证;产品营销经理马克•克拉导师,西门子的业务;吉姆•霍根Vista公司的管理合伙人;莎朗·罗森博格、高级解决方案archit……»阅读更多

解决困惑节能报道:得到一个聚合覆盖率度量
通过Progyna Khondkar9月- 13,2018 -评论:0

覆盖率指标告诉我们当一个设计已经彻底核实,或者至少行使收益递减点。很少可以每个设计工件或设计参数的一个高度复杂的设计覆盖100%,但是我们可以使用覆盖指标了解的程度我们已经验证了设计——足以相信它将功能所需的最终名单的…»阅读更多

系统覆盖未定义
通过布莱恩•贝利- 9月28日,2017 -评论:1

当设计可以录音吗?一直是一个棘手的问题要面对每一个设计团队,这是一个验证工程师失眠。详尽的[getkc id =“56”kc_name =“报道”)自1980年代以来已不可能。定义了几个指标和方法来帮助回答这个问题和提高信心,重要的方面一块……»阅读更多

将开源
通过戴夫Kelf——5月26日,2016 -评论:2

开源通常被认为是一种商业软件许可使用典型的商业模式。例如,变异的开源Linux提供的Red Hat这样的公司收取订阅支持和维护。也许有机会利用开源和商业EDA软件提供使用模型的优势和开放开发f……»阅读更多

2016年预测:工具和流动
通过布莱恩•贝利——1月28日,2016 -评论:0

今年十七岁公司派出了他们的预测,其中一些将从几个人的预测。这是除了首席执行官最近发表的预测。这是一个好来年的观点,尤其是因为他们知道他们将负责他们的观点,今年,就像过去一样,他们将不得不回答。我们巴厘岛…»阅读更多

正式将取代模拟
通过布莱恩•贝利- 3月27日,2014 -评论:4

有显著的心理变化在形式验证领域在过去几年。它不再是被认为是边缘技术,不再被认为是很难使用。事实上,它已成为一个必要的验证过程的一部分。半导体工程坐下来与一个专家小组来找出是什么导致了这种变化和我们更多的c…»阅读更多

连续的,连接和并发验证
通过埃德·斯珀林- 3月28日,2013 -评论:0

埃德·斯珀林是一个奇迹,任何电子系统按预期的方式工作,或者继续工作几个月或几年之后出售。原因:soc已经变得如此复杂,以至于没有验证覆盖率模型是足够了,没有方法包括验证的方方面面,甚至没有一个工具或收集的工具可以捕获每一个错误或阻止他们的存在在…»阅读更多

  • 赞助商

关于

导航

与我们联系

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