Late Breaking Results: Towards Efficient Formal Verification of Dot Product Architectures.

Lennart Weingarten, Kamalika Datta, Rolf Drechsler

Browse the full DATE paper archive.