Zaslať SMS: Programový systém podporujúci syntézu asynchrónnych sekvenčných obvodov