Behavioral Synthesis of Asynchronous Circuits