ForMAt: Formal Verification of Scalable Multiply and Accumulate Units

@inproceedings{pub16072,
    author = {

Weingarten, Lennart
 and 

Datta, Kamalika
 and 

Drechsler, Rolf
},
    title = {ForMAt: Formal Verification of Scalable Multiply and Accumulate Units},
    booktitle = {Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL), September 10-12, St. Goar, Germany
},
    year = {2025}
}