Namrata Shekhar, Priyank Kalla, Florian Enescu. Equivalence verification of arithmetic datapaths with multiple word-length operands. In Georges G. E. Gielen, editor, Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006. pages 824-829, European Design and Automation Association, Leuven, Belgium, 2006. [doi]
Abstract is missing.