Makoto Takashima, Atsuhiko Ikeuchi, Shoichi Kojima, Toshikazu Tanaka, Tamaki Saitou, Jun-ichi Sakata
A Circuit Comparison System with Rule-Based Functional Isomorphism Checking
DAC, 1988.
@inproceedings{DAC-1988-TakashimaIKTSS,
acmid = "285730.285813",
author = "Makoto Takashima and Atsuhiko Ikeuchi and Shoichi Kojima and Toshikazu Tanaka and Tamaki Saitou and Jun-ichi Sakata",
booktitle = "{Proceedings of the 25th Design Automation Conference}",
pages = "512--516",
publisher = "{ACM}",
title = "{A Circuit Comparison System with Rule-Based Functional Isomorphism Checking}",
year = 1988,
}