不同来源的不稳定会导致未知的传播价值和高电流。
设计安全的硅需要稳定的设计,它不应该进入未知的状态在任何时间让它脆弱的从安全的角度。本文确定了不同来源不稳定的组合反馈回路等无防备的时钟和复位,大意的力量穿越,等等。这些不稳定会导致未知的传播价值和高电流,从而导致非法状态转换,导致违反安全策略,机密数据和计算的妥协。静态验证技术可以帮助识别设计缺陷更早的设计流程,大大降低检验成本。由于出现的一个非常复杂的重置架构和快速省电和升高的要求,重置域交叉(RDC)已成为一个新的验证的复杂性。本文还提供了洞察RDC验证技术,可以处理今天的设计和复位的复杂性。
点击在这里继续阅读。
|
|
|
|
|
|
|
|
|
|
留下一个回复