Vitalsource Technologies, Inc. Formal Verification of Floating-Point Hardware Design