Synthesis of a synchronous circuit using an asynchronous specification