Vikas Rao, Utkarsh Gupta, Irina Ilioaea, Arpitha Srinath, Priyank Kalla, Florian Enescu. Post-Verification Debugging and Rectification of Finite Field Arithmetic Circuits using Computer Algebra Techniques. In Nikolaj Bjørner, Arie Gurfinkel, editors, 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018. pages 1-9, IEEE, 2018. [doi]
@inproceedings{RaoGISKE18,
title = {Post-Verification Debugging and Rectification of Finite Field Arithmetic Circuits using Computer Algebra Techniques},
author = {Vikas Rao and Utkarsh Gupta and Irina Ilioaea and Arpitha Srinath and Priyank Kalla and Florian Enescu},
year = {2018},
doi = {10.23919/FMCAD.2018.8603018},
url = {https://doi.org/10.23919/FMCAD.2018.8603018},
researchr = {https://researchr.org/publication/RaoGISKE18},
cites = {0},
citedby = {0},
pages = {1-9},
booktitle = {2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018},
editor = {Nikolaj Bjørner and Arie Gurfinkel},
publisher = {IEEE},
isbn = {978-0-9835678-8-2},
}