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

Description
Item Description:	"August 1991." "NASA contract NAS1-18586." Microform.
Physical Description:	1 volume Also available via Internet from the NTRS web site. Address as of 3/15/06: http://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/19910019463%5F1991019463.pdf; current access is available via PURL.
Bibliography:	Includes bibliographical references.