Formally Verifying Multiply-and-Accumulate Architectures Using Symbolic Computer Algebra

@article{pub17247,
    author = {

Weingarten, Lennart
 and 

Datta, Kamalika
 and 

Drechsler, Rolf
},
    title = {Formally Verifying Multiply-and-Accumulate Architectures Using Symbolic Computer Algebra},
    year = {2026},
    journal = {SN Computer Science (SNCS)},
    publisher = {Springer Nature}
}