The SECD Microprocessor Image close
The SECD Microprocessor on Hardback by Brian T. Graham
The SECD Microprocessor on Hardback by Brian T. Graham
Show Hide Adult Content
The SECD Microprocessor close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Technology  
Electronics & communications engineering  
Electronics engineering  
Circuits & components

The SECD Microprocessor

A Verification Case Study
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$275.99
RRP:
$316.95 save $40.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $69.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 14-26 June using International Courier

Explore more The Springer International Series in Engineering and Computer Science

See all products in this series

Integrated Smart Sensors on Hardback by Gert Van Der Horn
$415.99
Integrated Smart Sensors
by Gert Van Der Horn ~ Hardback
Available - Usually ships in 3-4 weeks
Foundations of Dependable Computing on Hardback
$406.99
Foundations of Dependable Computing
Hardback
Available - Usually ships in 3-4 weeks
Characterization Methods for Submicron MOSFETs on Hardback
$417.99
Characterization Methods for Submicron MOSFETs
Hardback
Available - Usually ships in 3-4 weeks
Hardware Annealing in Analog VLSI Neurocomputing on Hardback by Bank W. Lee Save $88
$278.99
$367.95
Hardware Annealing in Analog VLSI Neurocomputing
by Bank W. Lee ~ Hardback
Available - Usually ships in 3-4 weeks
Wavelet Image and Video Compression on Hardback
$411.99
$415.95
Wavelet Image and Video Compression
Hardback
Available - Usually ships in 3-4 weeks
Artificial Neural Networks on Hardback by Nicolaos Karayiannis Save $28
$411.99
$440.95
Artificial Neural Networks
by Nicolaos Karayiannis ~ Hardback
Available - Usually ships in 3-4 weeks
Integrating Graphics and Vision for Object Recognition on Hardback by Mark R. Stevens
$415.99
Integrating Graphics and Vision for Object Recognition
by Mark R. Stevens ~ Hardback
Available - Usually ships in 3-4 weeks
Wavelet, Subband and Block Transforms in Communications and Multimedia on Hardback Save $65
$428.99
$494.95
Wavelet, Subband and Block Transforms in Communications and Multimedia
Hardback
Available - Usually ships in 3-4 weeks
Principles of 3D Image Analysis and Synthesis on Hardback
$412.99
Principles of 3D Image Analysis and Synthesis
Hardback
Available - Usually ships in 3-4 weeks
Research Perspectives on Dynamic Translinear and Log-Domain Circuits on Hardback Save $72
$265.99
$338.95
Research Perspectives on Dynamic Translinear and Log-Domain Circuits
Hardback
Available - Usually ships in 3-4 weeks
Logics for Databases and Information Systems on Hardback Save $12
$526.99
$539.95
Logics for Databases and Information Systems
Hardback
Available - Usually ships in 3-4 weeks
Automatic Programming Applied to VLSI CAD Software: A Case Study on Hardback by Dorothy E. Setliff
$405.99
Automatic Programming Applied to VLSI CAD Software: A Case Study
by Dorothy E. Setliff ~ Hardback
Available - Usually ships in 3-4 weeks
Synchronous Programming of Reactive Systems on Hardback by Nicolas Halbwachs Save $304
$135.99
$440.95
Synchronous Programming of Reactive Systems
by Nicolas Halbwachs ~ Hardback
Available - Usually ships in 3-4 weeks
Silicon Implementation of Pulse Coded Neural Networks on Hardback Save $87
$406.99
$494.95
Silicon Implementation of Pulse Coded Neural Networks
Hardback
Available - Usually ships in 3-4 weeks
Design of Low-Voltage Bipolar Operational Amplifiers on Hardback by M.Jeroen Fonderie
$404.99
Design of Low-Voltage Bipolar Operational Amplifiers
by M.Jeroen Fonderie ~ Hardback
Available - Usually ships in 3-4 weeks
Symbolic Analysis of Analog Circuits: Techniques and Applications on Hardback Save $96
$264.99
$361.95
Symbolic Analysis of Analog Circuits: Techniques and Applications
Hardback
Available - Usually ships in 3-4 weeks

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 of or learning about the application of formal methods. The architecture is designed to provide support for functional progamming, with complex machine instruction semantics 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 an expert, but by anyone prepared to carefully consider the problems at hand.
Release date Australia
May 31st, 1992
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Illustrations
XVI, 176 p.
Pages
176
Dimensions
156x234x12
ISBN-13
9780792392453
Product ID
3958828

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Brian T. Graham

See all books by this author

The SECD Microprocessor by Brian T. Graham Save $52
$263.99
$316.95
The SECD Microprocessor
by Brian T. Graham ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Technology >
Electronics & communications engineering >
Electronics engineering >
Circuits & components
Books >
Non-Fiction >
Technology >
Energy technology & engineering >
Electrical engineering
Books >
Non-Fiction >
Technology >
Electronics & communications engineering >
Electronics engineering >
Electronic devices & materials >
Microprocessors
Books >
Computers & Internet >
Graphical & digital media applications >
Computer-aided design (CAD)
Books >
Computers & Internet >
Computer science >
Artificial intelligence