中文 英语

硬件Fuzzing(密歇根大学,谷歌,弗吉尼亚理工大学)


密歇根大学、谷歌和弗吉尼亚理工大学的研究人员发表了一篇题为“Fuzzing Hardware Like Software”的技术论文。该论文在2022年Usenix安全研讨会上发表。摘要:“硬件缺陷是永久性和强大的:硬件一旦制造出来就无法修补,任何缺陷都可能破坏在上面执行的正式验证软件。因此,已经……»阅读更多

12种方法提高电子设计过程使用平板电子书


当使用PADS专业高级版时,设计人员可以访问标准PCB设计功能,如原理图定义和物理布局,以及以前可选的附加功能(现在标准)和所有最新的云应用程序,包括:原理图定义:访问您需要的一切:电路设计和仿真,组件选择,库管理和信号积分…»阅读更多

用于验证的硬件增强RISC指令(CHERI),具有更好的内存安全性(Oxford)


牛津大学的研究人员发表了一篇题为“A Formal CHERI-C Semantics for Verification”的技术论文。摘要:“CHERI-C通过增加硬件功能扩展了C编程语言,在保持效率的同时保证了一定程度的内存安全性。功能还可以用于更高级别的安全措施,例如软件分区,…»阅读更多

更认真地对待权力


越来越多的电子系统正受到热问题的限制,解决这些问题的唯一方法是将能源消耗提高到主要设计问题,而不是最后一刻的优化技术。任何系统的优化都涉及到静态和动态技术的复杂平衡。目标是在小范围内实现最大的功能和性能。»阅读更多

多电源域设计的完整可靠性验证


随着设计复杂性的增加和对集成电路(IC)设计从知识产权(IP)到全芯片各级可靠性的高度关注,对IC设计中不同可靠性问题的准确和全面的验证覆盖至关重要。包含多个功率域的设计增加了可靠性验证的复杂性,需要验证int…»阅读更多

没有错误的设计


从理论上讲,创建一个没有bug的设计是可能的,但这是不切实际的,没有必要的,而且很难证明您所关心的bug。这个问题很棘手,因为潜在的状态空间对于任何实际设计来说都是巨大的。该行业已经设计了处理这种复杂性的方法,但每种方法都有局限性,做出假设,并采用抽象的技术。»阅读更多

解决SRAM验证的挑战


SureCore Limited是一家SRAM IP公司,总部位于英国谢菲尔德,为当前和下一代硅工艺技术开发低功耗存储器。其屡获殊荣的,世界领先的,低功耗SRAM设计是工艺独立和可变性,使其适用于广泛的技术节点。两个主要的产品系列已经宣布:PowerM…»阅读更多

数字化内存设计和验证,加快开发周转时间


作者:Anand Thiruvengadam, Farzin Rasteh, Preeti Jain和Jim Schultz一些数字设计和验证工程师认为他们在模拟/混合信号(AMS)芯片上工作的同事很嫉妒。毕竟,数字开发流程多年来一直享受着自动化程度提高和更高抽象级别带来的好处。手工实例化设备和手动互连我们…»阅读更多

将UVM的优点扩展到包括AMS: Accellera UVM-AMS标准开发的更新


SoC团队可以分为设计组和验证组。对于数字设计,通用验证方法(UVM)最初由Accellera开发,现在标准化为IEEE 1800.2,在过去十年中一直是行业标准。由于大多数SoC设计也有模拟和混合信号IP块,它将是理想的验证在…»阅读更多

验证方法在发展,但发展缓慢


《半导体工程》杂志与Imperas Software销售副总裁Larry Lapides坐下来讨论了数字双胞胎,以及在汽车和航空航天等各种行业开发和验证新芯片所需的条件;Mike Thompson, OpenHW验证任务组的工程总监;Arteris IP技术营销经理Paul Graykowski;纳拉…»阅读更多

←老帖子
Baidu