Title :
Efficient equivalence checking with partitions and hierarchical cut-points
Author :
Anastasakis, Demosthenes ; McIlwain, L. ; Pilarski, Slawomir
Author_Institution :
Synopsys, Inc., Hillsboro, OR
Keywords :
Impedance matching; Logic design; Permission; Pins; Tellurium;
Conference_Titel :
Design Automation Conference, 2004. Proceedings. 41st
Conference_Location :
San Diego, CA, USA
Print_ISBN :
1-51183-828-8
