Publikation

PolyCleaner: Clean your Polynomials before Backward Rewriting to Verify Million-gate Multipliers

Alireza Mahzoon, Daniel Große, Rolf Drechsler

In: International Conference on Computer Aided Design (ICCAD). IEEE/ACM International Conference on Computer-Aided Design (ICCAD-2018) November 5-8 San Diego United States 2018.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence