Detecting tangled logic structures in VLSI netlists.

Tanuj Jindal Charles J. Alpert Jiang Hu Zhuo Li Gi-Joon Nam Charles B. Winn Detecting tangled logic structures in VLSI netlists. 603-608 2010 DAC http://doi.acm.org/10.1145/1837274.1837422 conf/dac/2010 db/conf/dac/dac2010.html#JindalAHLNW10