Polynomial Formal Verification of Structurally Simple Multipliers

@inproceedings{pub17663,
    author = {



Kleinekathöfer, Jan
 and 



Weingarten, Lennart
 and 



Datta, Kamalika
 and 



Drechsler, Rolf
},
    title = {Polynomial Formal Verification of Structurally Simple Multipliers},
    booktitle = {Forum on specification & Design Languages (FDL). 

Forum on Specification & Design Languages (FDL-2026), September 9-11, Rom, Italy
},
    year = {2026}
}