Lennart Weingarten, Kamalika Datta, Rolf Drechsler: Late Breaking Results: Towards Efficient Formal Verification of Dot Product Architectures. DATE 2025: 1-2