Technology-driven FSM partitioning for synthesis of large sequential circuits targeting lookup-table based FPGAs.