标签:形式验证

欢迎来到EDA 4.0和AI-Driven革命
通过于丹- 01年6月,2023 -评论:0

于丹,哈里·福斯特和Tom Fitzpatrick欢迎EDA 4.0的时代,我们正在见证一个革命性的转变在电子设计自动化由人工智能的力量。EDA的历史可以被描述成不同时期的重大技术进步推动更快的迭代设计,提高了生产率,傅……»阅读更多

芯片变得更安全,但不够迅速
通过埃德·斯珀林——5月22日,2023 -评论:0

专家在餐桌上:半导体工程坐下来谈论异构集成的影响,更高级的RISC-V设计,和越来越多的人意识到安全威胁,与迈克·Borza Synopsys对此科学家;产品经理约翰•Hallman信任在西门子EDA和安全;皮特•荷迪集团产品管理主管节奏;公司副总裁保罗Karazuba……»阅读更多

混合硬件Fuzzer,结合形式验证方法和模糊工具的功能
通过技术论文链接- 11年4月,2023 -评论:0

新技术论文题为“HyPFuzz: Formal-Assisted处理器起毛”发表的德州农工大学和科技大学的研究人员达姆施塔特。文摘:“最近的研究表明,硬件fuzz可以有效地检测安全漏洞在现代处理器。然而,现有的硬件fuzz并不模糊难以设计空间。因此,…»阅读更多

人工智能在芯片设计变得更加突出
通过埃德·斯珀林- 3月27日,2023 -评论:0

半导体工程坐下来讨论人工智能的作用在管理数据和改进设计,和它的寻路中发挥的作用日益重要,防止沉默数据损坏,迈克尔·杰克逊,公司研发副总裁节奏;副总裁Joel萨姆纳半导体和电子工程在国家仪器;优雅,产品和工程经理元……»阅读更多

使用正式的验证优化HLS-Produced电路(苏黎世联邦理工学院)
通过技术论文链接- 05年3月,2023 -评论:0

新技术论文题为“消除过度活力数据流电路使用模型检查”是瑞士苏黎世联邦理工学院的研究人员发表的。抽象的“最近HLS努力探索动态调度的一代,从高层代码数据流电路;在运行时他们的适应能力安排特定数据和控制结果承诺性能优越standar……»阅读更多

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

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

形式验证人工智能处理器datapath公司在汽车应用
通过Laureano卡拉斯科- 05年1月,2023 -评论:0

没有许多电子需要正确的应用程序,安全,安全比其他汽车和公路车辆。所有者依靠他们的汽车操作正确和可靠的。生活的司机,乘客,如果车辆行为不端,附近有危险。情况越来越严重与每一个创新在汽车电子产品。与莫…»阅读更多

硬件功能增强RISC指令(谢利)验证,与更好的内存安全(牛津)
通过技术论文链接11月- 30,2022 -评论:0

技术论文题为“正式CHERI-C语义验证”是牛津大学的研究人员发表的。文摘:“CHERI-C C编程语言进行扩展,添加硬件功能,确保一定程度的剩余内存安全而有效。功能也可以用于更高级别的安全措施,如软件划分,…»阅读更多

毫升能帮助验证吗?也许
通过布莱恩•贝利- 9月22日,2022 -评论:0

功能验证产生大量的数据,可以用来训练机器学习系统,但它并不总是清楚哪些数据是有用的或是否能帮助。毫升的挑战是了解何时何地使用它,以及如何将它与其他工具和方法。足够大的锤,它很容易调用一切一个钉子,就扔……»阅读更多

基于,正式的等价性检验方法
通过技术论文链接9月- 14,2022 -评论:0

一个新的研究论文题为“系统级和SPICE-Level模型的线性电路的等价性检验”被不莱梅大学的研究人员发表,DFKI GmbH是一家。文摘:“由于越来越复杂的模拟电路和集成到芯片系统(SoC),模拟电路设计和验证产业将大大受益于扩大系统级了……»阅读更多

←旧的文章

  • 赞助商

关于

导航

与我们联系

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