The SECD Microprocessor: A Verification Case Study: 178 (The Springer International Series in Engineering and Computer Science, 178) - Image 1

£76.38

Springer The SECD Microprocessor: A Verification Case Study: 178 (The Springer International Series in Engineering and Computer Science, 178)

Name: The SECD Microprocessor: A Verification Case Study: 178 (The Springer International Series in Engineering and Computer Science, 178)
Brand: Springer
Price: 72.62 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 90 days • 84 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 90 days • 6 price levels

Days at Price

Current Price

Price Analysis

Most common price: £73 (27 days, 32.1%)

Price range: £73 - £76

Price levels: 6 different prices over 84 days

Description

The SECD Microprocessor is a substantial case study in hardware specification and verification. The subject is a silicon implementation of Landin's SECD machine, which is transformed into a layout, formally specified, and partially verified using the HOL proof assistant. It is important as a nontrivial worked example, clearly describing the organization and execution of the correctness of proof, and by making the sources available, will be helpful to those considering the use or learning about the application of formal methods. The architecture is designed to provide support for functional programming, with complex machine instruction to support recursive definitions and function calls. This considerably raises the complexity of the state transitions to be verified, and an abstract data type and operations are introduced to express the specification. The SECD Microprocessor illustrates what formal methods can achieve today, not only by some expert elite, but by anyone prepared to carefully consider the problems at hand.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 1461365899
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Publication Date: 08 October 2012
Listed Since: 14 July 2013

Barcode

No barcode data available

Springer The SECD Microprocessor: A Verification Case Study: 178 (The Springer International Series in Engineering and Computer Science, 178)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Functional Verification of Programmable Embedded Architectures: A Top-Down Approach

Microprocessor and Interfacing: 8085 Architecture, Programming

Post-Silicon and Runtime Verification for Modern Processors

Microprocessor Theory and Applications with 68000/68020 and Pentium

Correct Hardware Design and Verification Methods: IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. ... 987 (Lecture Notes in Computer Science, 987)

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

Microprocessor Technology

8085 Microprocessor Assembly Language Programming

Foundations of Embedded Systems: 195 (Studies in Systems, Decision and Control, 195)

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Design of Digital Systems and Devices: 79 (Lecture Notes in Electrical Engineering, 79)

Readings in Computer Architecture (The Morgan Kaufmann Series in Computer Architecture and Design)

Mikrocomputertechnik mit der 8051-Controller-Familie: Hardware, Assembler, C

Application Analysis Tools for ASIP Design: Application Profiling and Instruction-set Customization

SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)

Systèmes numériques: Cours et exercices corrigés

Computers as Components: Principles of Embedded Computing System Design (The Morgan Kaufmann Series in Computer Architecture and Design)

Microprocessor Architecture: From Simple Pipelines to Chip Multiprocessors

Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)

Formal Hardware Verification: Methods and Systems in Comparison: 1287 (Lecture Notes in Computer Science, 1287)

Embedded Microprocessor System Design using FPGAs

Functional Design Errors in Digital Circuits: Diagnosis Correction and Repair: 32 (Lecture Notes in Electrical Engineering, 32)

Digital Design (VHDL): An Embedded Systems Approach Using VHDL