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]
@inproceedings{SawadaSPBCM11,
title = {Hybrid verification of a hardware modular reduction engine},
author = {Jun Sawada and Peter Sandon and Viresh Paruthi and Jason Baumgartner and Michael L. Case and Hari Mony},
year = {2011},
url = {http://dl.acm.org/citation.cfm?id=2157686},
researchr = {https://researchr.org/publication/SawadaSPBCM11},
cites = {0},
citedby = {0},
pages = {207-214},
booktitle = {International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011},
editor = {Per Bjesse and Anna Slobodová},
publisher = {FMCAD Inc.},
isbn = {978-0-9835678-1-3},
}