面向多时钟、多复位设计审查 clock domain crossing 与 reset domain crossing 风险，输出同步策略、waiver 证据和签核前闭环清单。

读取功能覆盖、代码覆盖、失败 regression 和验证计划，定位真正阻碍 signoff 的覆盖缺口，生成可执行的 test/constraint/checker 补强方案。

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

汇总 STA、CDC/RDC、LEC、Lint、DFT、功耗和物理验证报告，识别真正影响 tapeout 或交付的 blocker 与证据缺口。