Blue Pearl Solutions：有效 RTL 签核需要规则，也需要例外

You Need Rules So You Can Have Exceptions: The Secret to Effective RTL Signoff

AI 导读 · 根据来源整理

Blue Pearl Solutions 提出，RTL lint 签核应先建立明确的规则包，再对确有依据的违规授予带说明的豁免。规则包可基于 STARC、DO-254 及 ESA 等专用规则集定制，覆盖 CDC、RDC、FSM、锁存器推断与未连接信号等检查。团队还需跨多次分析跟踪错误、警告与豁免趋势，判断设计是否收敛到可签核状态。