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