A High Resolution Flash Time-to-Digital Converter Taking Into Account Process Variability