Mohamed Nadeem, Chandan Kumar Jha 0001, Rolf Drechsler. Polynomial Formal Verification of Approximate Adders with Constant Cutwidth. In IEEE European Test Symposium, ETS 2024, The Hague, Netherlands, May 20-24, 2024. pages 1-6, IEEE, 2024. [doi]
@inproceedings{NadeemJD24,
title = {Polynomial Formal Verification of Approximate Adders with Constant Cutwidth},
author = {Mohamed Nadeem and Chandan Kumar Jha 0001 and Rolf Drechsler},
year = {2024},
doi = {10.1109/ETS61313.2024.10567242},
url = {https://doi.org/10.1109/ETS61313.2024.10567242},
researchr = {https://researchr.org/publication/NadeemJD24},
cites = {0},
citedby = {0},
pages = {1-6},
booktitle = {IEEE European Test Symposium, ETS 2024, The Hague, Netherlands, May 20-24, 2024},
publisher = {IEEE},
isbn = {979-8-3503-4932-0},
}