当传统的疾病预防控制中心方法无法识别复杂重置架构的关键错误。
由库尔特豆类(西门子EDA) Ankush Sethi (NXP)和Aniruddha古普塔(NXP)
现代汽车soc通常包含多个异步复位信号,以确保从意想不到的情况和断层系统的功能恢复。这个复杂的重置架构可能会导致一系列新的问题,如复位域交叉(RDC)问题。传统的时钟域(CDC)交叉验证方法不能识别等关键错误。
复杂的汽车重新架构需要专用的验证方案,识别重要的RDC bug。如果传播到硅,这些错误会导致高成本的衍生和浪费宝贵的工程时间。此外,这些缺陷不能捕获通过传统STA或疾病预防控制中心设计验证工具。引导方法包含这些类型的错误以最小的努力是必需的。
应对这种需求,我们开发了一个系统的流动来实现清洁汽车soc RDC关闭。这四个步骤的方法加快了RDC的过程验证使用标准的RDC验证工具,使设计师精心处理RDC问题。
图1:RDC验证方法流程图。
1。在设计状态已知的复位信号
设计师应该指定主信号的设计旨在产生一个复位脉冲系统在一些已知的状态。等复位信号可以被称为RDC期间指定的复位信号分析。这个步骤设置好曲调的识别同步和异步复位来源使用验证工具。它有助于建立一个乐观的亲密关系之间的局部重置源主要重置来源,进而降低了噪音的结果。
2。重置树结构验证
重置建筑使用RDC的结构验证验证工具创建一个重置架构的数字模型。这个模型和未指明的复位信号局部的设计基于RTL模板编码同步和异步重置。它代表了树状结构显示各种主要港口和本地化重置源之间的关系。类似时钟树,根在参考重置,重置树和树枝是各种本地化重置来源。重置是分为同步或异步或双类型,根据其使用RTL。多个属性重置信号也发现而将重置树RTL代码如:
树的生成一个详细的复位使结构检查重置架构。重置树结构验证艾滋病设计师在设计的早期识别问题,之前RDC的分析。这些错误通常不会被剥绒机工具,需要一个专门的解决方案来验证重置树结构。设计师可以验证重置通过这些结构树的正确性检查。这些检查指向重置源和显示的路径从源到使用重置失败一次电流的形式。与功能行为的一些问题,使用重置:
3所示。地图用户意图重置树
这个步骤包括确定异步各种重置源之间的关系。的想法是,复位信号相同的源同时宣称,不能导致的亚稳定性设计。在汽车SoC (s)我们有全球,硬重置,如运动、和深入,更多的本地化和特定的重置。所以一个重置的断言会导致其他重置的断言;然而,亦然并不总是正确。例如,硬重置的断言会导致内部的直接断言重置,而相反的永远不会是真的。调整分析,设计者应该:
4所示。重置域验证
最后一步是分析RDC路径。设计师应该验证数据路径穿越重置域亚稳定性安全使用的任何讨论缓解策略包含RDC bug。
提出的方法应用于一个高度复杂的真实汽车SoC与170万多个寄存器和4只公羊。专用的RDC验证工具是用于部署的方法。这个工具能够识别:异步复位的设计来源,重置所有寄存器的设计使用的域,数据路径穿越重置域,某个浏览器和异步复位。图2解释了输出和每一步的行动。
图2:每一步结果和行动的方法。
RDC的结果验证方法应用于汽车SoC表我和表2所示。
表我重置树分析
表二。RDC分析
重置验证挑战难以解决与传统验证技术。这个新方法可以显著帮助设计师加快RDC验证过程。更深入讨论重置架构和RDC问题在汽车SoC的设计和更详细的案例研究参数和结果,请下载我们的论文,系统的方法来解决复位挑战在汽车出类拔萃2020年,最初发表于DVCon圣何塞。
Ankush Sethi目前功能安全经理NXP我们。他完成了b科技在电子和通信NSIT(德里大学),2012年加入NXP印度作为一个设计工程师。他的兴趣领域包括时钟、复位和安全架构。Sethi电子领域拥有两项专利,发表论文15篇,文章在国际杂志和会议,包括DVCon DAC, EETimes,版。
Aniruddha Gupta目前正在作为一个SoC架构师NXP印度。他获得了M。在VLSI技术从印度理工学院,德里和B。科技在电子和通信NIT Kurukshetra。古普塔有超过10年的经验在SoC架构和前端集成领域。他主要感兴趣的领域包括时钟、复位,电源管理架构,多个专利和几家国际发表在这些领域工作。
|
|
|
|
|
|
|
|
留下一个回复