Нарисовал, что меня смущает.

Сверху с X1=TI/, снизу X1=TI. И там и там по два варианта CLK. В худшем случае может быть так, что при каждом старте будет кидаться монетка и будет или 000 или 180. Но вполне возможно, что в конкретной железке все время будет один вариант, только сейчас неизвестно какой. При рисовании задержки не учитывал, CLK в реале будет несколько отставать от X1.