Synthesis of initializable asynchronous circuits

We show that existing synthesis techniques may produce asynchronous circuits that are not initializable by gate level analysis tools even when the design is ...