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


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

早期发现重置域交叉错误


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

设计安全、可信的硅在验证中使用左移位


设计安全的硅需要稳定的设计,它不应该进入未知的状态在任何时间让它脆弱的从安全的角度。本文确定了不同来源不稳定的组合反馈回路等无防备的时钟和复位,戒备的力量穿越,等等。这样的不稳定会导致未知的传播价值和高的……»阅读更多

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


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

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


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

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


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

价值最大化Post-Moore定律


摩尔定律如火如荼的时候,几乎每一个细分市场考虑搬到下一个可用的节点作为主要方式最大化价值。但是今天,每个主要的细分市场是看不同的策略更密切保持一致的个人需求。这种多样性将最终导致疼痛和供应链的机会。芯片开发人员必须做更多的……»阅读更多

左移位节能静态验证


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

域交叉在安全的影响


半导体工程坐下来讨论问题域交叉与亚历克斯·Gnusin Aldec设计验证技术专家;皮特·荷迪、导演、抑扬顿挫的产品管理;乔•Hupcey产品经理和验证产品技术专家导师,西门子的业务;OneSpin斯文拜尔,产品经理设计验证;戈德温-梅宾,应用在…»阅读更多

Baidu