Read Anywhere and on Any Device!

Special Offer | $0.00

Join Today And Start a 30-Day Free Trial and Get Exclusive Member Benefits to Access Millions Books for Free!

Create Free Account

Quick and Easy Sign Up!

It takes less then 1 minute to sign up, then you can enjoy Unlimited eBooks.

Sign Up Browse

Read Anywhere and on Any Device!

  • Download on iOS
  • Download on Android
  • Download on iOS

Toward a Formal Verification of a Floating-Point Coprocessor and Its Composition with a Central Processing Unit

National Aeronautics and Space Administration
4.9/5 (24561 ratings)
Read Now Download Now ⏭ listen AudioBook
Description:Discussed here is work to formally specify and verify a floating point coprocessor based on the MC68881. The HOL verification system developed at Cambridge University was used. The coprocessor consists of two independent units: the bus interface unit used to communicate with the cpu and the arithmetic processing unit used to perform the actual calculation. Reasoning about the interaction and synchronization among processes using higher order logic is demonstrated. Pan, Jing and Levitt, Karl N. and Cohen, Gerald C. Unspecified Center ARITHMETIC AND LOGIC UNITS; CENTRAL PROCESSING UNITS; FLOATING POINT ARITHMETIC; PROGRAM VERIFICATION (COMPUTERS); INTERFACES; PROVING; SYNCHRONISM...We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Toward a Formal Verification of a Floating-Point Coprocessor and Its Composition with a Central Processing Unit. To get started finding Toward a Formal Verification of a Floating-Point Coprocessor and Its Composition with a Central Processing Unit, you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.
Pages
120
Format
PDF, EPUB & Kindle Edition
Publisher
Createspace Independent Publishing Platform
Release
2018
ISBN
1723462780

Toward a Formal Verification of a Floating-Point Coprocessor and Its Composition with a Central Processing Unit

National Aeronautics and Space Administration
4.4/5 (1290744 ratings)
Read Now Download now ⏭ listen AudioBook
Description: Discussed here is work to formally specify and verify a floating point coprocessor based on the MC68881. The HOL verification system developed at Cambridge University was used. The coprocessor consists of two independent units: the bus interface unit used to communicate with the cpu and the arithmetic processing unit used to perform the actual calculation. Reasoning about the interaction and synchronization among processes using higher order logic is demonstrated. Pan, Jing and Levitt, Karl N. and Cohen, Gerald C. Unspecified Center ARITHMETIC AND LOGIC UNITS; CENTRAL PROCESSING UNITS; FLOATING POINT ARITHMETIC; PROGRAM VERIFICATION (COMPUTERS); INTERFACES; PROVING; SYNCHRONISM...We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Toward a Formal Verification of a Floating-Point Coprocessor and Its Composition with a Central Processing Unit. To get started finding Toward a Formal Verification of a Floating-Point Coprocessor and Its Composition with a Central Processing Unit, you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.
Pages
120
Format
PDF, EPUB & Kindle Edition
Publisher
Createspace Independent Publishing Platform
Release
2018
ISBN
1723462780

More Books

National Aeronautics and Space Administration (NASA) Graphics Standards Manual

National Aeronautics and Space Administration (NASA) Graphics Standards Manual

4.4/5 (1,282,506 ratings)

NASA Systems Engineering Handbook - NASA/SP-2016-6105 Rev 2: National Aeronautics and Space Administration

NASA Systems Engineering Handbook - NASA/SP-2016-6105 Rev 2: National Aeronautics and Space Administration

4.2/5 (4,466 ratings)

NASA Graphics Standards Manual

NASA Graphics Standards Manual

4.1/5 (1,751 ratings)

The Saturn System: Through the Eyes of Cassini

The Saturn System: Through the Eyes of Cassini

4.5/5 (743 ratings)

NASA Systems Engineering Handbook (NASA/SP-2007-6105 Rev1)

NASA Systems Engineering Handbook (NASA/SP-2007-6105 Rev1)

4/5 (647 ratings)

NASA Systems Engineering Handbook: NASA/SP-2016-6105 Rev2

NASA Systems Engineering Handbook: NASA/SP-2016-6105 Rev2

4/5 (647 ratings)

What Made Apollo a Success?

What Made Apollo a Success?

4.7/5 (647 ratings)

Saturn V Flight Manual

Saturn V Flight Manual

4.6/5 (647 ratings)

Hubble Space Telescope: Discoveries

Hubble Space Telescope: Discoveries

4.9/5 (647 ratings)
loader