Polynomial Formal Verification of Carry Look-Ahead Adders

@inbook{pub13515,
    author = {

Mahzoon, Alireza
 and 

Drechsler, Rolf
},
    editor = {

Steinbach, Bernd
},
    title = {Polynomial Formal Verification of Carry Look-Ahead Adders},
    booktitle = {Advances in the Boolean Domain},
    year = {2023},
    pages = {93--114},
    publisher = {Cambridge Scholars Publishing},
    isbn = {1-5275-8872-6}
}