形式验证保证了毅力探测器降落在火星上


乔Hupcey三世和凯文·坎贝尔安全着陆的宇宙飞船在火星是一个复杂的、高风险的挑战。更糟糕的是,地球的大多数科学有趣的地区被巨石守卫,沟渠,高高的悬崖——土地形成不太欢迎车辆。这样的火星探测器着陆地点:毅力Jezero火山口。这不是一个e……»阅读更多

早期发现重置域交叉错误


芯片系统(SoC)设计的许多方面,包括盖茨的数量、记忆,时钟域,重置领域,权力领域,片上总线和外部接口。最近博客专注于重置域交叉(rdc)和有效pre-silicon验证这些隐患的结构要求。如果应用得当,解决方案满足这些需求……»阅读更多

要求详尽的SoC重置域交叉检查


通常读时钟域和电力领域的数字芯片系统(SoC)设计正在增加,但出于某种原因没有讨论重置。毫无疑问,重置域的数量也在不断上升;研究表明,单一的重置二十年前已经取代了40 - 50领域的复杂网络在许多芯片,甚至150年的som…»阅读更多

系统的方法来解决复位挑战在汽车出类拔萃


现代汽车soc通常包含多个异步复位信号,以确保从意想不到的情况和断层系统的功能恢复。这个复杂的重置架构可能会导致一系列新的问题,如复位域交叉(RDC)问题。传统的时钟域和疾控中心验证方法无法识别等关键错误。在本文中,我们提出…»阅读更多

四个步骤解决复位域交叉数据损坏在汽车出类拔萃


由库尔特豆类(西门子EDA) Ankush Sethi (NXP)和现代汽车soc Aniruddha古普塔(NXP)通常包含多个异步复位信号,以确保从意想不到的情况和断层系统的功能恢复。这个复杂的重置架构可能会导致一系列新的问题,如复位域交叉(RDC)问题。传统的时钟域交叉(CDC)真实……»阅读更多

驯服Non-Predictable系统


可预见的是半导体系统如何?该行业的目标是创造可预测系统,然而,当吊着一根胡萝卜,提供更快的可能性,便宜,或其他利益,决策者总是决定某种程度的不确定性是十分必要的。理解不确定性至少是知情决策的第一步,但是需要新的工具来评估im…»阅读更多

系统的方法来解决复位挑战在汽车出类拔萃


现代汽车soc通常包含多个异步复位信号,以确保从意想不到的情况和断层系统的功能恢复。这个复杂的重置架构可能会导致一系列新的问题,如复位域交叉(RDC)问题。传统的时钟域和疾控中心验证方法无法识别等关键错误。在本文中,我们提出…»阅读更多

左移位节能静态验证


下一代soc与先进的图形、计算、机器学习(毫升)和人工智能(AI)能力提出新的看不见的挑战在低功率验证。这些技术可以引入关键错误设计,特别是当电源管理基础设施与信号跨时钟域或重置。这可以创建额外的clock-domain cro…»阅读更多

重置,重置域交叉ASIC和FPGA设计


本白皮书解释Reset-related ASIC和FPGA设计问题以及概述了常用的设计技术导致安全复位实现。它继续解释关于重置域交叉影响,减轻其影响的设计方法。线头工具提供有价值的帮助设计师在重置,重置域交叉验证。下载本文按……»阅读更多

尊重重置


重置所有同步设计必不可少的一部分,因为他们允许他们被带进一个已知状态。然而,这样一个简单的过程会导致许多问题在一个[getkc id = " 81 " kc_name =“SoC”]。不再可以重置被认为是一个简单的操作权力最初应用于电路。相反,复位的设计有许多影响成本、区域和routability,…»阅读更多

Baidu