Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit

An edition of Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit (1991)

Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit

By Jing Pan

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

1991

Publisher

National Aeronautics and Space Administration, Langley Research Center

Language

eng

Pages

Description:

subjects: Floating point arithmetic, Arithmetic and logic units, Central processing units, Program verification (Computers)