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}
}