Rolf Drechsler, Alireza Mahzoon, Mehran Goli. Towards Polynomial Formal Verification of Complex Arithmetic Circuits. In 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2022, Prague, Czech Republic, April 6-8, 2022. pages 1-6, IEEE, 2022. [doi]
@inproceedings{DrechslerMG22,
title = {Towards Polynomial Formal Verification of Complex Arithmetic Circuits},
author = {Rolf Drechsler and Alireza Mahzoon and Mehran Goli},
year = {2022},
doi = {10.1109/DDECS54261.2022.9770156},
url = {https://doi.org/10.1109/DDECS54261.2022.9770156},
researchr = {https://researchr.org/publication/DrechslerMG22},
cites = {0},
citedby = {0},
pages = {1-6},
booktitle = {25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2022, Prague, Czech Republic, April 6-8, 2022},
publisher = {IEEE},
isbn = {978-1-6654-9431-1},
}