Hybrid verification of a hardware modular reduction engine - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jun Sawada, Peter Sandon, Viresh Paruthi, Jason Baumgartner, Michael L. Case, Hari Mony. Hybrid verification of a hardware modular reduction engine. In Per Bjesse, Anna Slobodová, editors, International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011. pages 207-214, FMCAD Inc., 2011. [doi]

This author has not been identified. Look up 'Jun Sawada' in GoogleThis author has not been identified. Look up 'Peter Sandon' in GoogleThis author has not been identified. Look up 'Viresh Paruthi' in GoogleThis author has not been identified. Look up 'Jason Baumgartner' in GoogleThis author has not been identified. Look up 'Michael L. Case' in GoogleThis author has not been identified. Look up 'Hari Mony' in Google

runs on WebDSL