Technology-driven FSM partitioning for synthesis of large sequential circuits targeting lookup-table based FPGAs. - Klaus Feske; Sven Mulka; Manfred Koegst; Günter Elst (FPL, 1997)