Nikhil Kikkeri, Peter-Michael Seidel. Formal Verification of Parametric Multiplicative Division Implementations. In 23rd International Conference on Computer Design (ICCD 2005), 2-5 October 2005, San Jose, CA, USA. pages 599-602, IEEE Computer Society, 2005. [doi]
@inproceedings{KikkeriS05,
title = {Formal Verification of Parametric Multiplicative Division Implementations},
author = {Nikhil Kikkeri and Peter-Michael Seidel},
year = {2005},
doi = {10.1109/ICCD.2005.59},
url = {http://doi.ieeecomputersociety.org/10.1109/ICCD.2005.59},
researchr = {https://researchr.org/publication/KikkeriS05},
cites = {0},
citedby = {0},
pages = {599-602},
booktitle = {23rd International Conference on Computer Design (ICCD 2005), 2-5 October 2005, San Jose, CA, USA},
publisher = {IEEE Computer Society},
isbn = {0-7695-2451-6},
}