Sherief Reda, A. Salem
Combinational equivalence checking using Boolean satisfiability and binary decision diagrams
DATE, 2001.
@inproceedings{DATE-2001-RedaS,
author = "Sherief Reda and A. Salem",
booktitle = "{Proceedings of the Sixth Conference on Design, Automation and Test in Europe}",
doi = "10.1145/367072.367113",
isbn = "0-7695-0993-2",
pages = "122--126",
publisher = "{ACM}",
title = "{Combinational equivalence checking using Boolean satisfiability and binary decision diagrams}",
year = 2001,
}