Tokenized State Machine Model for Synthesis of Sequential Circuits into EPLDs and FPGAs. - Alan J. Coppola; Marek A. Perkowski; Robert Anderson; Jeffrey S. Freedman; Edmund Pierzchala (Synthesis for Control Dominated Circuits, 1992)