A highly efficient method for extracting FSMs from flattened gate-level netlist | IEEE Conference Publication | IEEE Xplore