Evguenii I. Goldberg, Mukul R. Prasad, Robert K. Brayton
Using SAT for combinational equivalence checking
DATE, 2001.
@inproceedings{DATE-2001-GoldbergPB,
author = "Evguenii I. Goldberg and Mukul R. Prasad and Robert K. Brayton",
booktitle = "{Proceedings of the Sixth Conference on Design, Automation and Test in Europe}",
doi = "10.1145/367072.367111",
isbn = "0-7695-0993-2",
pages = "114--121",
publisher = "{ACM}",
title = "{Using SAT for combinational equivalence checking}",
year = 2001,
}