Polynomial Formal Verification of Floating Point Adders

@inproceedings{pub12854,
    author = {

Kleinekathöfer, Jan
 and 

Mahzoon, Alireza
 and 

Drechsler, Rolf
},
    title = {Polynomial Formal Verification of Floating Point Adders},
    booktitle = {Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium},
    year = {2023}
}