Vitalsource Technologies, Inc. Formal Verification Of Floating-point Hardware Design