Methodology and tools for state encoding in asynchronous circuit synthesis | Publicación