Martha Schnieber, Saman Fröhlich, Rolf Drechsler. Polynomial Formal Verification of Approximate Functions. In IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2022, Nicosia, Cyprus, July 4-6, 2022. pages 92-97, IEEE, 2022. [doi]
@inproceedings{SchnieberFD22,
title = {Polynomial Formal Verification of Approximate Functions},
author = {Martha Schnieber and Saman Fröhlich and Rolf Drechsler},
year = {2022},
doi = {10.1109/ISVLSI54635.2022.00029},
url = {https://doi.org/10.1109/ISVLSI54635.2022.00029},
researchr = {https://researchr.org/publication/SchnieberFD22},
cites = {0},
citedby = {0},
pages = {92-97},
booktitle = {IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2022, Nicosia, Cyprus, July 4-6, 2022},
publisher = {IEEE},
isbn = {978-1-6654-6605-9},
}