Simulation Bounds for Equivalence Verification of Arithmetic Datapaths with Finite Word-Length Operands - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Namrata Shekhar, Priyank Kalla, M. Brandon Meredith, Florian Enescu. Simulation Bounds for Equivalence Verification of Arithmetic Datapaths with Finite Word-Length Operands. In Formal Methods in Computer-Aided Design, 6th International Conference, FMCAD 2006, San Jose, California, USA, November 12-16, 2006, Proceedings. pages 179-186, IEEE Computer Society, 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 'M. Brandon Meredith' in GoogleThis author has not been identified. Look up 'Florian Enescu' in Google

runs on WebDSL