Title: Formal Verification of Structurally Complex Multipliers