Enviar aquest missatge de text: Formal Verification of Structurally Complex Multipliers