Verilog source for FPGA timetagger