Cover Image

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

Similar Items

MIPS : the good, the bad and the useful /
by: Richardson, Jerry K.
Published: (1987)

Map projection induced variations in locations of polygon geofence edges /
by: Neeley, Paula, et al.
Published: (2017)

Symbolic algebraic methods and verification methods /
Published: (2001)

A high-level formalization of floating-point numbers in PVS /
by: Boldo, Sylvie
Published: (2006)

Improving floating-point programming /
Published: (1990)

Numerical computing with IEEE floating point arithmetic : including one theorem, one rule of thumb, and one hundred and one exercises /
by: Overton, Michael L.
Published: (2001)

On the formal verification of conflict detection algorithms /
Published: (2001)

The 8096 floating-point arithmetic library user's guide for DOS systems.
Published: (1985)

A methodology for evaluating artifacts produced by a formal verification process /
by: Siminiceanu, Radu I.
Published: (2011)

Computer arithmetic /
Published: (1990)

Proceedings : 4th Symposium on Computer Arithmetic, October 25-27, 1978, Santa Monica, California /
Published: (1978)

3rd Symposium on Computer Arithmetic, November 19-20, 1975, Southern Methodist University, Dallas, Texas : [papers] /
Published: (1975)

A bit-serial floating point multiply/add architecture for signal processing applications /
by: Williams, Bertrand Jeffery, 1959-
Published: (1983)

Formal verification of AI software /
by: Rushby, John, 1949-
Published: (1989)

Formal verification of AI software /
by: Rushby, John, 1949-
Published: (1989)

Floating Point Numerics for Games and Simulations /
by: Badizadegan, Nima
Published: (2025)

A methodology for the design and verification of globally asynchronous/locally synchronous architectures /
Published: (2005)

Microgravity silicon zoning investigation : final report /
by: Kern, Edward L., 1934-, et al.
Published: (1985)

RIACS workshop on the verification and validation of autonomous and adaptive systems /
by: Pecheur, Charles
Published: (2001)

Methods and applications of error-free computation /
by: Gregory, R. T. (Robert Todd)
Published: (1984)

Automated verification of specifications with typestates and access permissions /
by: Siminiceanu, Radu I.
Published: (2011)

Formal assurance certifiable tooling strategy final report /
by: Bush, Eric Niels
Published: (2017)

METCAN verification status /
Published: (1990)

Handbook of floating-point arithmetic /
Published: (2010)

Proceedings /
Published: (1978)

Computer arithmetic in theory and practice /
by: Kulisch, Ulrich
Published: (1981)

Critical point wetting drop tower experiment : final report /
by: Kaukler, William
Published: (1990)

Report on the formal specification and partial verification of the VIPER microprocessor /
by: Brock, Bishop
Published: (1991)

Pointing system simulation toolbox with application to a balloon mission simulator /
by: Baldraco, Rosana M. Maringolo, et al.
Published: (2017)

Preliminary design and analysis of the GIFTS instrument pointing system /
by: Zomkowski, Paul P.
Published: (2003)

The design, fabrication, and delivery of a spacelab neutral buoyancy instrument pointing system (IPS) mockup : final report /
by: VanValkenburgh, Charles N.
Published: (1984)

Aerodynamics of a transitioning turbine stator over a range of Reynolds numbers /
by: Boyle, Robert J.
Published: (1998)

A criteria standard for conflict resolution : a vision for guaranteeing the safety of self-separation in NextGen /
Published: (2010)

Concentrator optical characterization using computer mathematical modelling and point source testing /
by: Dennison, E. W.
Published: (1984)

Verifying data integrity of electronically scanned pressure systems at the NASA Glenn Research Center /
by: Panek, Joseph W.
Published: (2001)

The Materials processing research base of the Materials Processing Center : annual report for the year ending September 30, 1986 /
by: Latanision, R. M.
Published: (1986)

Effects of gas-phase radiation and detailed kinetics on the burning and extinction of a solid fuel /
by: Rhatigan, Jennifer L.
Published: (2001)

Kodiak : an implementation framework for branch and bound algorithms /
by: Smith, Andrew P.
Published: (2015)

Attitude control/momentum management and payload poInting in advanced space vehicles /
by: Parlos, Alexander G.
Published: (1990)

Payload training methodology study (PTMS) : final report /
Published: (1990)