Vitalsource Technologies, Inc. Formal Verification of Structurally Complex Multipliers