Polynomial Formal Verification of Prefix Adders

@inproceedings{pub11686,
    author = {

Mahzoon, Alireza
 and 

Drechsler, Rolf
},
    title = {Polynomial Formal Verification of Prefix Adders},
    booktitle = {30th International Workshop on Logic & Synthesis. International Workshop on Logic & Synthesis (IWLS-2021), July 19-22, Virtual},
    year = {2021}
}