把协议规则、状态机、异常优先级和安全属性转成 SVA 计划与断言骨架，帮助验证团队建立可维护的 checker 体系。

围绕 RTL-to-gate、ECO 和约束变化准备 formal equivalence checklist，定位 non-equivalent、unmapped、blackbox 与约束不一致问题。