TY - CONF
TI - A circuit comparison system with rule-based functional isomorphism checking
T2 - Design Automation Conference(DAC)
SP - 512
EP - 516
AU - Tanaka
AU - Saitou
AU - Sakata
AU - Takashima
AU - Ikeuchi
AU - Kojima
PY - 1988
KW - LSI
KW - layout verification
KW - circuit comparison system
KW - rule-based functional isomorphism checking
KW - network reduction
KW - graph isomorphism-based comparison
KW - large networks
DO - 10.1109/DAC.1988.14808
JO - Design Automation Conference(DAC)
SN - 0-8186-0864-1
VO - 10.1109/DAC.1988.14808
VL - 00
JA - Design Automation Conference(DAC)
Y1 - June 1988
ER -