Logic synthesis for asynchronous controllers and interfaces