$stable是SVA提供的3个内嵌函数之一,用于检查信号的边沿变化,当信号/表达式的最低位不发生变化时返回真值。 stable_a用于检查信号a不变的情况,它只在“a在当前时钟周期为一个电平,在前一个时钟周期也为同样电平”的情况下成功 sequence stable_s; @(posedge clk) $stable(a);endsequence stable_a: assert property(stable_s); 来源:https://www.cnblogs.com/camellia3371----/p/11691374.html 标签 电平信号 时钟周期