Polynomial Formal Verification of Approximate Adders with Constant Cutwidth

@inproceedings{pub14748,
    author = {

Nadeem, Mohamed
 and 

Jha, Chandan
 and 

Drechsler, Rolf
},
    title = {Polynomial Formal Verification of Approximate Adders with Constant Cutwidth},
    booktitle = {29th IEEE European Test Symposium 2024. IEEE European Test Symposium (ETS-2024), May 20-24, The Hague, Netherlands},
    year = {2024}
}