クロックのposedgeで信号遷移を確認するアサーション

Question

クロックの正のエッジでのみ信号の遷移を確認するアサーションを行いたいとします。正のエッジ以外の信号が変化すると、エラーが発生します。 ; |（=>信号== $の過去（信号）@（クロック）クロック== 1'b1の）プロパティを主張：

A1：

Answer 1

、このいずれかを試してみてください