Best Paper Award at FMCAD’17
We received the best paper award at FMCAD’17 for our paper:
Daniela Ritirc, Armin Biere, Manuel Kauers.
Column-Wise Verification of Multipliers Using Computer Algebra
In Proc. 17th Intl. Conf. on Formal Methods in Computer Aided Design (FMCAD’17), pages 23-30, IEEE 2017.
fLTR: The authors Armin Biere, Daniela Kaufmann (Ritirc), Manuel Kauers
Credits: Tom van Dijk
fLTR: The authors Armin Biere, Daniela Kaufmann (Ritirc) with the Award Committee Arie Gurfinkel, Alexander Ivrii, Anna Slobodova
Credits: Tom van Dijk
