アサーション安定

$ 3は、信号エッジの変化を確認するために設けられ安定したSVAインライン関数の一つである最小信号/発現が変化しない真の値を返します。

一定の信号用stable_aチェックは、それがの場合に「直ちに同じレベルのクロックサイクル前のクロックサイクルの現在のレベル」でのみ成功しています

 

シーケンスstable_s。
@（posedge CLK）$の安定した（A）。
endsequence

stable_a：プロパティ（stable_s）を主張。