ForMAt: Formal Verification of Scalable Multiply and Accumulate Units.

Lennart Weingarten, Kamalika Datta, Rolf Drechsler

Browse the full FDL paper archive.