中文 英语

FPGA等价性检查的案例


形式等价检查(EC)已经成为ASIC开发流程的一个标准部分,用合成前和合成后代码之间严格的一致性检查取代了几乎所有的门电平模拟。在现场可编程门阵列(FPGA)空间中,EC仍然是一个相对较新的概念,但考虑到今天使用的大型设备,它迅速变得重要。对于最大的FP…“ 阅读更多

新方法创造了新的机会


《圆桌专家:半导体工程》与西门子EDA仿真部德赢娱乐网站【官方平台】高级主管Jean-Marie Brunet一起讨论了开源验证今天意味着什么以及它应该发展成什么;Ashish Darbari, Axiomise首席执行官;Simon Davidmann, Imperas Software首席执行官;美国国防部高级研究计划局微系统技术办公室的项目经理Serge Leef;刘涛,员工hardwa…“ 阅读更多

打开你的视野…和一点EDA的历史


重复的模式和硬件设计具有共同点:可能存在超过眼睛。即使是简单的设计也可能有难以单独检测的转角案例,如果涉及第三方或遗留IP,则情况更加复杂。如果IP有故意隐藏的功能怎么办?这是验证工具,如奥塞拜360进来,去除Huma ......“ 阅读更多

验证知识在您的指尖


如果你和大多数工程师一样,你会对其他工程师如何解决一些最困难的挑战感到好奇。你能从中学到什么并应用到你自己的项目中?从经验中学习有巨大的价值,但从别人的经验中学习可以说更有价值,因为获得这种知识的成本要低得多。在OneSpin,我们降低了……“ 阅读更多

AI和ML应用需要高级数据路径验证


在流行的用法中,术语“人工智能”(ai)曾经想到了机器人军队的图像,汇总人类或邪恶的计算机,乘坐他们的用户,如2001年:一个空间渡槽。近年来,AI已成为日常生活的一部分,占地球的大部分人口。人们使用语音命令与智能手机,智能扬声器甚至电视遥控器互动。谢谢......“ 阅读更多

RISC-V通过正确的验证来降低风险


RISC-V继续成为电子设计行业的头条新闻。你可能已经看到了最近的新闻,openw集团正在交付他们的第一个RISC-V核心,CV32E40P。如果你参加了上个月的RISC-V峰会,也许你参加了“CORE-V:工业级开源RISC-V核心”,作者是openw集团总裁Rick O 'Connor。在这个环节中,Rick讨论了如何……“ 阅读更多

验证的拐点


功能性核查正接近一个转折点,这是由于不断增加的复杂性和它与其他学科混杂在一起的许多触角所导致的。需要新的抽象或不同的方法来处理这些问题。除了那些关注块级验证的人之外,仅仅做一个验证工程师是不够的。大部分的时间和精力花在验证…“ 阅读更多

ISO 26262使用正式验证关键安全硬件


自福特t型车(Ford Model t)问世以来,汽车技术已经发展了很长一段时间。如今的智能汽车不仅帮助驾驶员完成停车、车道管理和刹车等任务,还通过WiFi热点和复杂的娱乐系统,发挥离家之家的功能。这些复杂的功能是由于日益复杂的电子系统而得以实现的。“ 阅读更多

多循环路径和假路径验证


所有芯片设计者都知道,当他们有多个异步时钟域时,他们必须特别注意避免亚稳态问题。相反,所有时钟同步的设计可能看起来很简单。逻辑综合确保寄存器之间的最短路径没有竞争,最长路径在目标周期时间内匹配。然而,单时钟设计是……“ 阅读更多

用于断言的新用途


断言多年来一直是正式验证的主要内容。现在,科学家们正在对它们进行检查,看看它们还能做什么,这个名单还在不断增加。传统上,设计和验证工程师以特定的方式使用断言。首先,有用于形式验证的断言,设计人员使用它来显示什么时候出现了错误。这些断言有助于查明……“ 阅读更多

←更老的帖子