Efficient netlist comparison using hierarchy and randomization. - J. Doug Tygar; Ron Ellickson (DAC, 1985)