Namrata Shekhar, Priyank Kalla, Florian Enescu
Equivalence verification of arithmetic datapaths with multiple word-length operands
DATE, 2006.
@inproceedings{DATE-2006-ShekharKE,
author = "Namrata Shekhar and Priyank Kalla and Florian Enescu",
booktitle = "{Proceedings of the 10th Conference on Design, Automation and Test in Europe}",
doi = "10.1145/1131714",
pages = "824--829",
publisher = "{European Design and Automation Association, Leuven, Belgium}",
title = "{Equivalence verification of arithmetic datapaths with multiple word-length operands}",
year = 2006,
}