Assertion For Clock Frequency