芯片验证计划生成器：输入设计规格、模块风险与流片窗口，输出验证计划、追溯矩阵、覆盖率收敛路径与签核检查表。触发：用户提到验证计划、覆盖率、回归、断言、形式验证、流片、签核中的任意 2 个词，或明确要求「出一版验证计划」。交付：验证计划（分模块与优先级）、规格—特性—用例追溯矩阵、覆盖率收敛周计划、形式验证选取清单等 6 类文档。不适用：不生成 RTL 代码，不替代仿真工具，不做硅后测试方案。