`default_nettype none

// VERSION 1.1
  
module timer_device ( write_interval, 
                      interval_in, // value to write to interval register
                      read_status,  
                      status_out, // 1 if timer has gone off, 0 otherwise
                      GWE, // global we
                      RST, // global reset
                      CLK); // system clock

   input 	  write_interval;
   input [15:0]   interval_in;

   input          read_status;
   output 	  status_out;
   input          GWE, RST, CLK;
endmodule