Time stretcher for a time-to-digital converter with a precisely matched current mirror | IEEE Conference Publication | IEEE Xplore