A highly efficient method for extracting FSMs from flattened gate-level netlist.

Yiqiong Shi, Chan Wai Ting, Bah-Hwee Gwee, Ye Ren

Browse the full ISCAS paper archive.