tests/keepgoing/keepgoing_same_step.sv

   1 module test (
   2         input clk, a
   3 );
   4         reg [7:0] counter = 0;
   5
   6         always @(posedge clk) begin
   7                 counter <= counter + 1;
   8         end
   9
  10         always @(posedge clk) begin
  11                 if (counter == 3) begin
  12                         assert(a);
  13                         assert(!a);
  14                         assert(0);
  15                 end
  16         end
  17 endmodule