Enviar rexistro por email: Automated and Scalable Verification of Integer Multipliers