Publication
GenMul: Generating architecturally complex multipliers to challenge formal verification tools
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.