Blue Pearl Solutions:有效 RTL 签核需要规则,也需要例外
Blue Pearl Solutions 提出,RTL lint 签核应先建立明确的规则包,再对确有依据的违规授予带说明的豁免。规则包可基于 STARC、DO-254 及 ESA 等专用规则集定制,覆盖 CDC、RDC、FSM、锁存器推断与未连接信号等检查。团队还需跨多次分析跟踪错误、警告与豁免趋势,判断设计是否收敛到可签核状态。
NEWS / 动态
按时间浏览,使用右上角筛选切换领域。
Blue Pearl Solutions 提出,RTL lint 签核应先建立明确的规则包,再对确有依据的违规授予带说明的豁免。规则包可基于 STARC、DO-254 及 ESA 等专用规则集定制,覆盖 CDC、RDC、FSM、锁存器推断与未连接信号等检查。团队还需跨多次分析跟踪错误、警告与豁免趋势,判断设计是否收敛到可签核状态。

Adam Taylor 以 AMD Artix-7(xc7a200t-2)上的 FIR 滤波器为例,将 Blue Pearl Visual Verification Suite(VVS)放入迭代流程,用其 COMB 分析定位直接型累加造成的组合逻辑过深问题。