Text this: Digital timing circuits