Describir: Špecifikácia a verifikácia časovania v číslicových systémoch