SV Assertions

Hi,

I am new to SV Assertions.

I wanted to know if I can check a simple clock/3-divider using assertions.

All I need to check is if a "Divider_enable" i/p is high, the output clock should be i/p Clock divided by 3.

Is it possible to check this using assertions?

Thanks in advance

SV Baby