Tanaka, Saitou, Sakata, Takashima, Ikeuchi and Kojima, "A circuit comparison system with rule-based functional isomorphism checking," Design Automation Conference(DAC), Anaheim, CA, USA, 1988, pp. 512-516.
doi:10.1109/DAC.1988.14808
keywords:{LSI; layout verification; circuit comparison system; rule-based functional isomorphism checking; network reduction; graph isomorphism-based comparison; large networks},
url:doi.ieeecomputersociety.org/10.1109/DAC.1988.14808