Modular equivalence verification of polynomial datapaths with multiple word-length operands - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bijan Alizadeh, Masahiro Fujita. Modular equivalence verification of polynomial datapaths with multiple word-length operands. In Zeljko Zilic, Sandeep K. Shukla, editors, 2011 IEEE International High Level Design Validation and Test Workshop, HLDVT 2011, Napa Valley, CA, USA, November 9-11, 2011. pages 9-16, IEEE, 2011. [doi]

This author has not been identified. Look up 'Bijan Alizadeh' in GoogleThis author has not been identified. Look up 'Masahiro Fujita' in Google

runs on WebDSL