Formal Verification of Structurally Complex Multipliers | lit.salon