A 4-bit 6GS/s time-based analog-to-digital converter