In: Asian Test Symposium (ATS). Asian Test Symposium (ATS-2021), November 22-25, Japan, 2021.
Polynomial Formal Verification of Prefix Adders
@inproceedings{pub11836,
author = {
Mahzoon, Alireza
and
Drechsler, Rolf
},
title = {Polynomial Formal Verification of Prefix Adders},
booktitle = {Asian Test Symposium (ATS). Asian Test Symposium (ATS-2021), November 22-25, Japan},
year = {2021}
}