A structural encoding technique for the synthesis of asynchronous circuits