Title: Formal Verification of Floating-Point Hardware Design
Subjects: Computer arithmetic