Late Breaking Results: Efficient Formal Verification of Highly Optimized MAC Units

@inproceedings{pub16694,
    author = {

Kleinekathöfer, Jan
 and 

Weingarten, Lennart
 and 

Datta, Kamalika
 and 

Drechsler, Rolf
},
    title = {Late Breaking Results: Efficient Formal Verification of Highly Optimized MAC Units},
    booktitle = {Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2026), April 20-22, Verona, Italy
},
    year = {2026}
}