Keyword: time-to-digital converter