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

Bibliographic Details

Main Author:	Pan, Jing
Corporate Author:	Langley Research Center
Other Authors:	Levitt, Karl N., Cohen, G. C. (Gerald C.)
Format:	Government Document Book
Language:	English
Published:	Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1991]
Series:	NASA contractor report ; NASA CR-187547.
Subjects:	Arithmetic and logic units. Central processing units. Floating point arithmetic. Program verification (Computers)
Online Access:	https://purl.fdlp.gov/GPO/LPS67723