Josep Carmona Jordi Cortadella Encoding Large Asynchronous Controllers With ILP Techniques. 20-33 2008 27 IEEE Trans. on CAD of Integrated Circuits and Systems 1 http://dx.doi.org/10.1109/TCAD.2007.907238 db/journals/tcad/tcad27.html#CarmonaC08