Hybrid verification of a hardware modular reduction engine

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]

Abstract

Abstract is missing.