ICCAD Best Paper Awards
In the years 2013 and 2018 we received the
IEEE/ACM William J. McCalla ICCAD Best Paper Award for our papers
2018
"PolyCleaner: Clean your Polynomials before Backward Rewriting to Verify Million-gate Multipliers"
Alireza Mahzoon, Daniel Große, Rolf Drechsler
IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
San Diego, USA, 2018
See also:
Press release of DFKI (in German)
Source: Picture 1: ICCAD 2018 | Picture 2: DFKI GmbH 2018
2013
"Improved SAT-based ATPC: More Constraints, Better Compaction"
Stephan Eggersglüß, Robert Wille, Rolf Drechsler
IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
pp. 85-90, San Jose, USA, 2013
See also:
Press release of University of Bremen (in German)
Source: Picture 1: ICCAD Website 2013 | Picture 2: DFKI GmbH 2018
Original Certificate of ICCAD 2018
Original Certificate of ICCAD 2013
