标签:等价性检查

敏捷硬件设计:全自动等效性检查工作流
通过技术文件链接- 2023年3月3日-意见:0

波特兰州立大学和英特尔的研究人员发表了一篇题为“敏捷硬件设计的等价性检查框架”的新技术论文。“敏捷硬件设计使设计人员能够高效地产生新的设计迭代。等价性检查是确保新设计迭代符合其规范的关键。在本文中，我们引入了一个eq…»阅读更多

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

IO库和接口ip是任何需要与外界或其他集成电路通信的集成电路设计的重要组成部分。接口ip是逻辑和电子信息流从一个集成电路到另一个集成电路的字面上的守门人，形成当今复杂的计算机系统，几乎影响着我们生活的方方面面。接口ip (e…»阅读更多

FPGA等价性检查的案例
通过Rob van Blommestein- 2021年5月6日-意见:0

形式等价检查(EC)已经成为ASIC开发流程的标准部分，几乎所有的门级模拟都被合成前和合成后代码之间严格的一致性检查所取代。在现场可编程门阵列(FPGA)领域，EC仍然是一个相对较新的概念，但鉴于目前使用的大型设备，EC正迅速变得重要起来。对于最大的FP…»阅读更多

AI和ML应用需要高级数据路径验证
通过Kiran Vittal- 2021年1月28日-意见:0

在流行用法中，“人工智能”(AI)一词曾让人联想到机器人军队征服人类或邪恶的计算机智胜用户的画面，比如在《2001太空漫游》(2001:A Space Odyssey)中。近年来，人工智能已经成为地球上大部分人日常生活的一部分。人们使用语音命令与智能手机、智能音箱甚至电视遥控器互动。萨非…»阅读更多

检测自定义ram中电压域交叉引起的电气危险
通过哈里Sathianathan- 2020年12月9日-评论:0

5G、生物技术、AI和汽车等快速增长的市场正在推动低功耗半导体设计需求的新浪潮，因此需要更积极的低功耗管理技术。因此，即使是芯片内的大型宏(如sram)现在也具有多个电压域，以限制在轻度睡眠、深度睡眠和关机-低功耗模式下的功耗。这些……»阅读更多

基于机器学习的形式等价性检查方法
通过Avinash直观- 2020年10月29日-评论:0

在经历了漫长而艰难的一周后，周五的晚上，你准备好了一杯葡萄酒、一顿丰盛的晚餐和一场精彩的电影来放松身心。你打开Netflix，期望它不仅会给你提供大量中肯的建议，而且还会根据你看过的所有之前的电影和电视剧，给出最合适的建议。»阅读更多

人工智能设计中数据路径的更快形式验证闭包
通过Neelabja Dutta- 2020年6月04日-评论:0

近年来，由于技术不断改进，许多关于正式核查的长期假设已经过时。连通性检查等应用已经表明，形式化可以在大型片上系统(SoC)设计上工作，而不仅仅是小块。标准SystemVerilog断言(SVA)已经消除了为每个新的形式函数学习一种深奥的数学语言的需要。»阅读更多

核安全控制器的FPGA等价性检验
通过Rob van Blommestein- 2020年5月28日-意见:0

每个芯片开发团队都希望找到并修复他们在硅前验证中可能存在的所有错误。用芯片来解决培育实验室中发现的问题会带来高昂的成本和产品延误;在现场发现的bug修复成本甚至更高。但对于某些应用，包括军事/航空航天、植入式医疗设备和自动驾驶汽车，故障的后果…»阅读更多

OneSpin用户聚集在慕尼黑
通过Rob van Blommestein- 2019年12月2日-评论:0

EDA供应商甚至比大多数其他高科技公司更依赖于他们的用户在许多方面的成功。当然，客户提供了推动业务发展的收入，但他们的影响力远远不止于此。EDA工具中的许多功能，甚至整个产品类别，都来自于与高级用户的密切合作。甚至在传统的beta测试之前，选定的用户提供…»阅读更多

高级设计和高级验证
通过杜米尼克摩根- 2019年9月26日-评论:0

不久前，一些EDA供应商描绘了一幅非常有吸引力的芯片设计的画面，在那时不久的将来。这个想法是，架构团队将用一些高级语言(通常是C/ c++ /SystemC)编写完整系统的单一描述，并且一个新的EDA工具类将自动将设计划分为硬件和软件，选择每个功能…»阅读更多

←老帖子

  • 赞助商

关于

导航

与我们联系

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