In reply to UVM_LOVE:
#1 a = 0;
#1 a = 0;
you assert that every time a=0 it will be '1 in the next posedge, but you provide sequence that caused a to be '0 the next posedge.
BTW, do you have initial block for clk? does clk toggle at all?
best of luck