Equivalence verification of arithmetic datapaths with multiple word-length operands - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Namrata Shekhar' in GoogleThis author has not been identified. Look up 'Priyank Kalla' in GoogleThis author has not been identified. Look up 'Florian Enescu' in Google

runs on WebDSL