Publikation
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.
@inproceedings{pub9867, author = { Mahzoon, Alireza and Große, Daniel and Drechsler, Rolf }, title = {PolyCleaner: Clean your Polynomials before Backward Rewriting to Verify Million-gate Multipliers}, booktitle = {International Conference on Computer Aided Design (ICCAD). IEEE/ACM International Conference on Computer-Aided Design (ICCAD-2018), November 5-8, San Diego, United States}, year = {2018} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023