Boolean matching in logic synthesis

TitleBoolean matching in logic synthesis
Publication TypeConference Paper
Year of Publication1992
AuthorsSavoj, H., M. J. Silva, R. K. Brayton, and A. Sangiovanni-Vincentelli
Conference NameProceedings of the conference on European design automation
PublisherIEEE Computer Society Press