In reply to prashantk:
You need supporting logic.
Write a counter that increments if a==1, and resets to 0 if a==0.
assert property(@(posedge clk) counter <6);
Ben
In reply to prashantk:
You need supporting logic.
Write a counter that increments if a==1, and resets to 0 if a==0.
assert property(@(posedge clk) counter <6);
Ben