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, USA, 2018.