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

Jan Kleinekathfer, Lennart Weingarten, Kamalika Datta, Rolf Drechsler

Browse the full DATE paper archive.