中文 英语

标签:形式验证

Bug打猎!螺旋在正式报道关闭
通过马克Eslinger1月- 13,2022 -评论:0

和金侯许多公司都使用由马克埃斯林格表示形式验证来验证复杂的soc和安全性至关重要的设计。使用正式的验证来确认设计功能和发现功能缺陷正成为一种有效的验证方法。尽管形式验证不会处理的复杂性在SoC设计水平,它是一种有效的工具来验证th……»阅读更多

利用符号模拟IO验证
通过Moninder辛格10月- 14,2021 -评论:0

IO库和接口ip任何集成电路设计的一个重要组成部分,需要与外界沟通或其他集成电路。接口ip是逻辑流的文字把关和电气信息从一个集成电路到另一个形成今天的复杂的计算机系统,这些天几乎影响我们生活的方方面面。接口ip (e…»阅读更多

你的集成电路安全需要装修吗?
通过麦肯齐罗斯- 05年8月,2021 -评论:0

五年前,我从硅谷搬到演出港口,华盛顿和买了一个房子。作为我的持续和广泛的家庭装修,我刚刚完成整个外观重做:屋顶、外墙、油漆、砌筑,门廊,回到甲板,户外照明,工作。如果你曾经从事任何形式的家改造项目,我没有告诉你,这个过程包括……»阅读更多

正式验证SystemC / c++设计
通过罗布·范Blommestein——7月29日,2021 -评论:0

我们看到的数量的增加设计采用SystemC / c++。这并不奇怪因为特定的使用模型驱动出现常见的设计流在工程团队导致采用高级合成(HLS)在许多大型半导体和电子系统公司。这些HLS工具是一个受欢迎的方法快速生成设计组件…»阅读更多

低功率芯片:小心
通过安Mutschler- 08年7月,2021 -评论:0

低功耗设计高级节点和高级包装成为一个多方面的,多学科的挑战,一长串的问题需要解决个人和上下文中的其他问题。随着每一个新的前沿流程节点,越来越密集的包装,潜在的问题越来越多的交互。这反过来会导致贫穷的收益率,因为……»阅读更多

除了水冷却器:2020 IC / ASIC设计和验证报告的趋势
通过哈利福斯特- 10,2021 -评论:0

验证和设计工程师喜欢说话商店和讨论他们的经验和视野。但即使工程师分享故事在水冷却器(无论takes-conferences形式,博客等)并提供各种有价值的见解,它不提供完整的图片非常大的、复杂的和极其动态全球半导体行业。为了更好的…»阅读更多

加快采用高速、低延迟、Cache-Coherent标准使用正式的验证
通过节奏- 09年6月,2021 -评论:0

我们继续看到巨大的数据和计算需求的增长,推动了全球数据流量增加5克推出,流媒体服务的盛行,扩大人工智能和机器学习(AI /毫升)的应用程序。近年来已经出现了几种新的行业标准规范定义潜在的电子元件和IP的协议构建块……»阅读更多

精度:一个成功的案例研究
通过罗布·范Blommestein- 09年6月,2021 -评论:0

最近,我在看一个纪录片在NASA毅力火星任务。我一直着迷于太空旅行和工程努力让它发生。我们都听说过这次旅行的着陆火星历史上是最精确的,但这部纪录片曝光精度参与的每一个方面毅力探测器设计和开发……»阅读更多

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

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

扩展模拟
通过布莱恩•贝利——5月27日,2021 -评论:1

没有功能模拟半导体产业将会在今天,但一些业内人士认为它还没有得到应有的关注和研究,导致停滞的性能。其他人不同意这种看法,指出设计尺寸增加了数量级而设计时代已经减少,指着模拟剩余适合这项工作的工具……»阅读更多

←旧的文章 新帖子→

  • 赞助商

关于

导航

与我们联系

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