中文 英语

标签:正确的施工

新一代的EDA
通过布莱恩•贝利——6月23日,2022 -评论:1

本月做研究时我的一个故事,两人基本上说,过去的方法应用到今天的设计可能会产生问题,因为存在着根本性的差异在架构和工作负载。虽然我完全同意,但我不认为这些语句远远不够。今天的设计一般的一切——一个CPU, accel之一……»阅读更多

定义验证
通过布莱恩•贝利- 4月25日,2019 -评论:0

曾经有一段时间,严格验证的概念被认为是不必要的,甚至浪费。我记得在我职业生涯的早期工作在飞行控制计算机。我们没有功能验证和没有创建模型。我们原型,跑一些工程测试,主要结构验证系统。我们没有测试系统的功能-……»阅读更多

斐波那契和蜜蜂有共同点:正式的甜点
通过塞吉奥Marchese- 3月28日,2019 -评论:0

光阴似箭,OneSpin的传统节日难题已经达到第三年。2016年12月,OneSpin挑战各地工程师解决爱因斯坦谜语使用断言和正式的验证工具。2017年12月,挑战是世界上最难的数独模型使用断言和找到解决方案提供一个正式的工具。此外,参与者必须证明……»阅读更多

协作Multi-Board系统设计
通过克雷格Armenti8月24日,2017 -评论:0

设计电子系统在过去十年中已经变得明显更复杂。但实际上今天的许多产品开发复杂的互连系统。使用汽车市场为例,系统的第一级是一个元素;一个单独的组件或装配工作,被设计成一个更大的合作的一部分功能。下一个级别是子-…»阅读更多

Spec-Driven设计
通过埃德·斯珀林- 10,2016 -评论:0

首席执行官Anupam问题Agnisys,坐下来和半导体工程设计流程,讨论问题和需要固定的。以下是摘录的谈话。SE:行业面临的大问题是什么?请有一个脱节的规范的实现。这就是为什么验证已经变得如此之大。规范了implemen……»阅读更多

工作的力量验证
通过安Mutschler- 07年11月,2014 -评论:2

供电验证正确的——或者至少足够好——对许多设计团队是挫折的来源。添加到这个事实,没有一个正确的方式去完成化合物的挑战。幸运的是,有许多正在不同程度的选项,从静态验证,根据伯纳德•墨菲Atrenta的首席技术官。“静态verifica……»阅读更多

  • 赞助商

关于

导航

与我们联系

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