Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit [electronic resource] / Jing Pan, K. Levitt, G. C. Cohen.
Imprint
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1991]