标签:等价性检查

敏捷HW设计:全自动等价性检查工作流
通过技术论文链接- 03年3月,2023 -评论:0

新技术论文题为“一个等价性检查敏捷硬件设计框架”由波特兰州立大学的研究人员发表和英特尔。抽象的“敏捷硬件设计使设计师产生新的设计迭代效率。等价性检查是至关重要的在确保新设计的迭代符合其规范。在本文中,我们引入一个情商…»阅读更多

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

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

FPGA等价性检查
通过罗布·范Blommestein2021年5月- 06 -评论:0

正式的等价性检查(EC)已经成为一个标准的ASIC开发流程的一部分,更换几乎所有门级仿真与严格的预处理和post-synthesized代码之间的一致性检查。在现场可编程门阵列(FPGA)的空间,电子商务仍然是一个相对较新的概念,但正迅速成为重要的考虑到今天使用的大型设备。最大的外交政策……»阅读更多

人工智能和ML应用程序需要先进的Datapath公司验证
通过Kiran Vittal——1月28日,2021 -评论:0

在流行的用法中,术语“人工智能(AI)一旦邪恶的机器人军队征服人类或者电脑超越他们的用户,如“2001:太空漫游。“近年来,人工智能已经成为日常生活的一部分的地球的人口。人们使用语音命令与他们的智能手机,智能音箱,甚至电视遥控器。萨非…»阅读更多

Inter-Voltage域交叉检测电气危害发生的自定义sram
通过哈里Sathianathan- 09年12月,2020 -评论:0

快速增长的市场,如5克、生物技术、人工智能,和汽车,推动新一轮的低功率半导体设计要求,因此,需要更积极的低功耗管理技术。因此,即使是大宏芯片内,如sram,现在功能多个电压域限制权力画在浅睡眠阶段,深度睡眠,shutdown-low-power模式。这些……»阅读更多

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

老、直观,帕迪Shekhar和Paula Neeley漫长和艰难的一周后,周五晚上,你准备休息和放松的一杯酒,一顿丰盛的晚餐和一个伟大的电影。你打开Netflix和希望,它将不仅对你有很多中肯的建议,但也最合适的一个基于所有的以前的电影和节目窟……»阅读更多

更快的形式验证关闭datapath公司的人工智能设计
通过Neelabja Dutta- 04年6月,2020 -评论:0

近年来,许多长期存在的对形式验证的假设变得过时了不断完善的技术。应用,如连通性检查表明,正式可以在大型芯片系统(SoC)的设计工作,而不仅仅是小块。标准SystemVerilog断言(上海广电)已经消除了需要学习一个深奥的数学语言对每个新的正式t…»阅读更多

FPGA等价性检查核安全控制器
通过罗布·范Blommestein- 5月28日,2020 -评论:0

每个芯片的开发团队都想找到并修复所有的bug,他们可能pre-silicon验证。把芯片修复启动实验室所发现的问题会带来高成本和产品延迟;细菌中发现的领域更加昂贵的维修。但是对于某些应用程序,包括军事/航空航天,植入医疗器械,和自主车辆,福尔的后果……»阅读更多

OneSpin用户聚集在慕尼黑
通过罗布·范Blommestein2019年12月- 02 -评论:0

甚至比大多数其他高科技公司,EDA供应商依赖用户的许多方面他们的成功。当然,客户提供燃料业务的收入,但他们的影响力远远超越。许多功能在EDA工具,甚至整个类别的产品,源自与高级用户密切合作。即使在传统的beta测试,选择用户提供…»阅读更多

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

不久前,一些EDA供应商绘画芯片设计的一个非常有吸引力的照片后近未来。他们的想法是,架构团队将编写一个完整的描述系统在一些高级语言,通常C / c++ / SystemC, EDA工具的一个新类将自动分区设计到硬件和软件,选择eac的功能……»阅读更多

←旧的文章

  • 赞助商

关于

导航

与我们联系

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