现代汽车SoC通常包含多个异步复位信号,以确保从意外情况和故障中系统地恢复功能。这种复杂的复位架构导致了一系列新的问题,例如可能的复位域交叉(RDC)问题。传统的时钟域交叉(CDC)验证方法无法识别此类关键错误。 复杂的汽车复位架构需要专门的验证解决方案来识别关键的RDC错误。如果传播到硅片上,这些错误可能会导致高成本...