Lin Yuan Gang Qu Tiziano Villa Alberto L. Sangiovanni-Vincentelli An FSM Reengineering Approach to Sequential Circuit Synthesis by State Splitting. 1159-1164 2008 27 IEEE Trans. on CAD of Integrated Circuits and Systems 6 http://dx.doi.org/10.1109/TCAD.2008.923245 db/journals/tcad/tcad27.html#YuanQVS08