·根据异步关系对复位域进行分组。 ·指定有关复位顺序的信息(一个复位源的断言影响其他复位源的断言的顺序)。 04.复位域名验证 最后一步是分析RDC路径。设计人员应验证跨越复位域的数据路径是否亚稳态安全,并采用任何所讨论的缓解策略来遏制RDC错误。 典型案例:复杂汽车SoC的RDC验证 所提出的方法已应用于高度复杂的...