Title: Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit
Subjects: Floating point arithmetic, Arithmetic and logic units, Central processing units, Program verification (Computers)