规格一致性审查

When to use

当团队准备从规格进入 RTL、验证或集成开发前使用。它适合检查多份文档之间的命名、位宽、复位、时序、异常优先级、寄存器副作用和验证退出标准是否一致。

Inputs

• 产品需求、架构说明、接口表、寄存器表。
• 时钟/复位/电源域说明。
• 验证计划、约束假设和 signoff 标准。
• 既有 issue、会议纪要和需求变更记录。

Workflow

1. 建立统一术语表，先合并同义名和冲突命名。
2. 对接口、寄存器、状态机、异常、复位、时序建立追踪矩阵。
3. 标记四类问题：冲突、缺失、不可验证、影响下游工具。
4. 对每个问题给出严重级别、影响对象、建议 owner 和闭环动作。
5. 将可以直接修订的低风险文案整理成 patch 建议。
6. 输出进入编码前必须解决的 gate list。

Outputs

• 规格一致性报告。
• 术语表和追踪矩阵。
• 高风险问题清单与 owner 建议。
• 可执行的规格修订建议。

Validation

• 每个问题必须引用具体输入来源、章节或表项。
• 检查接口位宽、寄存器地址、reset value、异常优先级是否跨文档一