Alireza Mahzoon, Rolf Drechsler. Late Breaking Results: Polynomial Formal Verification of Fast Adders. In 58th ACM/IEEE Design Automation Conference, DAC 2021, San Francisco, CA, USA, December 5-9, 2021. pages 1376-1377, IEEE, 2021. [doi]
@inproceedings{MahzoonD21,
title = {Late Breaking Results: Polynomial Formal Verification of Fast Adders},
author = {Alireza Mahzoon and Rolf Drechsler},
year = {2021},
doi = {10.1109/DAC18074.2021.9586107},
url = {https://doi.org/10.1109/DAC18074.2021.9586107},
researchr = {https://researchr.org/publication/MahzoonD21},
cites = {0},
citedby = {0},
pages = {1376-1377},
booktitle = {58th ACM/IEEE Design Automation Conference, DAC 2021, San Francisco, CA, USA, December 5-9, 2021},
publisher = {IEEE},
isbn = {978-1-6654-3274-0},
}