Detecting tangled logic structures in VLSI netlists. - Tanuj Jindal; Charles J. Alpert; Jiang Hu; Zhuo Li 001; Gi-Joon Nam; Charles B. Winn (DAC, 2010)