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]
@inproceedings{AlizadehF11-1, title = {Modular equivalence verification of polynomial datapaths with multiple word-length operands}, author = {Bijan Alizadeh and Masahiro Fujita}, year = {2011}, doi = {10.1109/HLDVT.2011.6114160}, url = {http://dx.doi.org/10.1109/HLDVT.2011.6114160}, researchr = {https://researchr.org/publication/AlizadehF11-1}, cites = {0}, citedby = {0}, pages = {9-16}, booktitle = {2011 IEEE International High Level Design Validation and Test Workshop, HLDVT 2011, Napa Valley, CA, USA, November 9-11, 2011}, editor = {Zeljko Zilic and Sandeep K. Shukla}, publisher = {IEEE}, isbn = {978-1-4577-1744-4}, }