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)
By Jing Pan
Publish Date
1991
Publisher
National Aeronautics and Space Administration, Langley Research Center
Language
eng
Pages
-
1-1 of 1 Editions
Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit
Language: eng
Published In: 1991
Publisher: National Aeronautics and Space Administration, Langley Research Center