module reqServer( input clk, input reset, input [1:0] reqBus);
Consider the above interface. I want to make sure that reqBus changes only when the clk is running. Say reqBus changes from 1 to 2 or 2 to 0, clock must have been running prior to that change if not flag an assertion.