Formal verification of structurally complex multipliers - Mahzoon, Alireza (Bremen, 2022)