Automatic Polynomial Formal Verification of a Floating Point Multiplier

@inproceedings{pub16003,
    author = {

Kleinekathöfer, Jan
 and 

Drechsler, Rolf
},
    title = {Automatic Polynomial Formal Verification of a Floating Point Multiplier},
    booktitle = {28th Euromicro Conference Series on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2025), September 10-12, Salerno, Italy
},
    year = {2025}
}