How do you write an assertion to check that a signal is changing at the clock? that is, output is synchronous to the clock

In reply to ben@SystemVerilog.us:

Okay Thank you…I will try to check it.