FM8501: A Verified Microprocessor

Name: FM8501: A Verified Microprocessor
Brand: Springer, Berlin
SKU: 9783540579601
Price: 19305 HUF
Availability: InStock

Diss.

Szerző: Warren A. Hunt

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 305 Ft

The FM 8501 microprocessor was invented as a generic microprocessor somewhat similar to a PDP-11. Th...

Információk a könyvről

Szerző

Warren A. Hunt

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1994

oldal

342

EAN

9783540579601

ISBN

3540579605

Enbook ID

01565797

Kiadó

Springer, Berlin

Súly

467

Méretek

156 x 234 x 18

Teljes leírás

The FM 8501 microprocessor was invented as a generic microprocessor somewhat similar to a PDP-11. The principal idea of the FM 8501 effort was to see if it was possible to express the user-level specification and the design implementation using a formal logic, the Boyer-Moore logic; this approach permitted a complete mechanically checked proof that the FM 8501 implementation fully implemented its specification. The implementation model for the FM 8501 was inadequate for industrial hardware design but the effort was an important step in the evolution to the design verification methodology now employed by the author.The original version of this monograph was submitted as a dissertation at the University of Texas at Austin under the advisorship of R. Boyer and J. Moore.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

FM8501: A Verified Microprocessor

Diss.

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták