Yiqiong Shi, Chan Wai Ting, Bah-Hwee Gwee, Ye Ren. A highly efficient method for extracting FSMs from flattened gate-level netlist. In International Symposium on Circuits and Systems (ISCAS 2010), May 30 - June 2, 2010, Paris, France. pages 2610-2613, IEEE, 2010. [doi]
Abstract is missing.