Formal Verification of Floating-Point Hardware Design: A Mathematical ApproachEbookFormal Verification of Floating-Point Hardware Design: A Mathematical ApproachbyDavid M. RussinoffRating: 0 out of 5 stars0 ratingsSave Formal Verification of Floating-Point Hardware Design: A Mathematical Approach for later