Methodology and tools for state encoding in asynchronous circuit synthesis