`include "tvm_marcos.v"

module main();
   `TVM_DEFINE_TEST_SIGNAL(clk, rst)

   wire[3:0] counter;
   counter counter_unit1(.clk(clk), .rst(rst), .out(counter));

   initial begin
      // This will allow tvm session to be called every cycle.
      $tvm_session(clk);
   end
endmodule