Efficient netlist comparison using hierarchy and randomization

J. Doug Tygar, Ron Ellickson. Efficient netlist comparison using hierarchy and randomization. In Hillel Ofek, Lawrence A. O Neill, editors, Proceedings of the 22nd ACM/IEEE conference on Design automation, DAC 1985, Las Vegas, Nevada, USA. pages 702-708, ACM, 1985. [doi]

@inproceedings{TygarE85,
  title = {Efficient netlist comparison using hierarchy and randomization},
  author = {J. Doug Tygar and Ron Ellickson},
  year = {1985},
  doi = {10.1145/317825.317966},
  url = {http://doi.acm.org/10.1145/317825.317966},
  researchr = {https://researchr.org/publication/TygarE85},
  cites = {0},
  citedby = {0},
  pages = {702-708},
  booktitle = {Proceedings of the 22nd ACM/IEEE conference on Design automation, DAC 1985, Las Vegas, Nevada, USA},
  editor = {Hillel Ofek and Lawrence A. O Neill},
  publisher = {ACM},
  isbn = {0-8186-0635-5},
}