FM8501: A Verified Microprocessor: 795 (Lecture Notes in Computer Science, 795) - Image 1

£44.91

Springer FM8501: A Verified Microprocessor: 795 (Lecture Notes in Computer Science, 795)

Name: FM8501: A Verified Microprocessor: 795 (Lecture Notes in Computer Science, 795)
Brand: Springer
Price: 44.78 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 25 days • 25 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 25 days • 1 price levels

Days at Price

Price Analysis

Most common price: £45 (25 days, 100.0%)

Price range: £45 - £45

Price levels: 1 different prices over 25 days

Description

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.

Product Specifications

Brand: Springer
Format: Paperback
ASIN: 3540579605
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 20 May 1994
Listed Since: 16 December 2006

Barcode

No barcode data available

Springer FM8501: A Verified Microprocessor: 795 (Lecture Notes in Computer Science, 795)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Microprocessor Technology

Microprocessor Technology

Microprocessors and Microcomputer-Based System Design

Fundamentals of Digital Logic and Microcomputer Design

Microprocessor and Microcontroller Fundamentals: The 8085 and 8051 Hardware and Software

Logic Synthesis for Compositional Microprogram Control Units: 22 (Lecture Notes in Electrical Engineering, 22)

The Intel Family of Microprocessors: Hardware and Software Principles and Applications

Microprocessor Theory and Applications with 68000/68020 and Pentium

Microprogrammed State Machine Design

Microprocessor Design: A Practical Guide from Design Planning to Manufacturing (Professional Engineering)

Computer Organization: Basic Processor Structure

The 80286 Microprocessor: Hardware, Software and Interfacing

Microprocessor System Design: A Practical Introduction

Mikrocomputer, Struktur und Arbeitsweise

Design of High-Performance Microprocessor Circuits

Microprocessor and Interfacing: 8085 Architecture, Programming

Microprocessor 1: Prolegomena - Calculation and Storage Functions - Models of Computation and Computer Architecture

SYSTEMC IMPLEMENTATION OF A RISC-BASED PROCESSOR ARCHITECTURE: DESIGN AND IMPLEMENTATION OF A 16-BIT RISC-BASED PROCESSOR ARCHITECTURE WITH SYSTEMC LANGUAGE

Microcontroller System Design using PIC18F Processors (Advances in Systems Analysis, Software Engineering, and High Performance Computing)

Fundamentals of Computer Organization and Architecture: 31 (Wiley Series on Parallel and Distributed Computing)

Microprocessor 2: Communication in a Digital System

Fundamentals of Digital Logic and Microcontrollers

Microprocessor 3: Core Concepts - Hardware Aspects

Systems Design with the Mc68020, Mc68030, Mc68040 32-bit Microprocessors (Electrical Engineering)