Publikation
Alireza Mahzoon; Daniel Große; Rolf Drechsler
In: 28th International Workshop on Logic & Synthesis. International Workshop on Logic & Synthesis (IWLS-2019), June 21-23, Lausanne, Switzerland, 2019.
@inproceedings{pub10470, author = { Mahzoon, Alireza and Große, Daniel and Drechsler, Rolf }, title = {GenMul: Generating architecturally complex multipliers to challenge formal verification tools}, booktitle = {28th International Workshop on Logic & Synthesis. International Workshop on Logic & Synthesis (IWLS-2019), June 21-23, Lausanne, Switzerland}, year = {2019} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023