TKO 32-channel pipeline TDC module using a 1 GHz GaAs shift register | IEEE Journals & Magazine | IEEE Xplore