@INPROCEEDINGS{,
author = {Tanaka and Saitou and Sakata and Takashima and Ikeuchi and Kojima},
booktitle = {Design Automation Conference(DAC)},
title = {A circuit comparison system with rule-based functional isomorphism checking},
year = {1988},
volume = {00},
number = {},
pages = {512-516},
keywords={LSI; layout verification; circuit comparison system; rule-based functional isomorphism checking; network reduction; graph isomorphism-based comparison; large networks},
doi = {10.1109/DAC.1988.14808},
url = {doi.ieeecomputersociety.org/10.1109/DAC.1988.14808},
ISSN = {},
month={06}
}