Publikation
Alireza Mahzoon, Daniel Große, Christoph Scholl, Alexander Konrad, Rolf Drechsler
In: 59th Design Automation Conference (DAC). Design Automation Conference (DAC) July 10-14 San Francisco United States 2022.
@inproceedings{pub12267, author = { Mahzoon, Alireza and Große, Daniel and Scholl, Christoph and Konrad, Alexander and Drechsler, Rolf }, title = {Formal Verification of Modular Multipliers using Symbolic Computer Algebra and Boolean Satisfiability}, booktitle = {59th Design Automation Conference (DAC). Design Automation Conference (DAC), July 10-14, San Francisco, United States}, year = {2022} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
Fax: +49 631 20575 5030
© DFKI, 2022