Hardware design for picosecond timetagger