基于 placement/routing 拥塞、timing、fanout 和 ECO 约束生成低风险优化计划，区分 RTL、约束、floorplan 与后端策略动作。

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