A highly efficient method for extracting FSMs from flattened gate-level netlist
Introduction to Algorithms