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.