验证与调试
Assertion 工作流
当 genRTL 能获得更明确的失败信号时，定位和修复通常会快得多，而 assertions 正是这类高质量信号的重要来源。
哪些场景最适合 assertions
assertions 尤其适合握手、状态转移、FIFO 安全性、复位行为、寄存器访问和协议时序等场景。当新增 RTL、状态机、接口控制或验证 scaffold 时，通常都值得考虑引入断言。
公开文档只覆盖什么
本页只说明什么时候应该使用 assertions、为何它们能帮助调试，以及怎样理解基于断言的工作流。内部绑定细节、私有检查策略和实现自动化都属于产品内部能力，不在公开文档中展开。
实用闭环
一个高效的断言闭环非常朴素：先明确预期行为，再生成或优化检查项，运行验证，定位失败，再做最小修复。关键不是“多几个文件”，而是让断言真正成为可利用的调试信号。