" Finite state machine logic synthesis for complex programmable logic devices " Robert Czerwinski and Dariusz Kania.