GenMul: Generating architecturally complex multipliers to challenge formal verification tools

@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}
}