Text this: Detecting tangled logic structures in VLSI netlists /