backends/smt2/example.v

   1 module main(input clk);
   2         reg [3:0] counter = 0;
   3         always @(posedge clk) begin
   4                 if (counter == 10)
   5                         counter <= 0;
   6                 else
   7                         counter <= counter + 1;
   8         end
   9         assert property (counter != 15);
  10         // assert property (counter <= 10);
  11 endmodule