SMS versenden: Návrh a implementíácia programového systému na sysntézu a simuláciu synchrónnych sekvenčných logických obvodov