@article{DBLP:journals/tcad/MukhopadhyaySC07,
author = {Debdeep Mukhopadhyay and
Gaurav Sengar and
Dipanwita Roy Chowdhury},
title = {Hierarchical Verification of Galois Field Circuits},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {26},
number = {10},
year = {2007},
pages = {1893-1898},
ee = {http://dx.doi.org/10.1109/TCAD.2007.895755},
bibsource = {DBLP, http://dblp.uni-trier.de}
}