+612 9045 4394
 
CHECKOUT
Prospects for Hardware Foundations : ESPRIT Working Group 8533: NADA - New Hardware Design Methods, Survey Chapters : Prospects for Hardware Foundations - John V. Tucker

Prospects for Hardware Foundations : ESPRIT Working Group 8533: NADA - New Hardware Design Methods, Survey Chapters

Prospects for Hardware Foundations

By: John V. Tucker (Editor), Bernhard Moller (Editor)

Paperback

Ships: 5 to 9 business days
5 to 9 business days
$125.05
or 4 easy payments of $31.26 with Learn more

This volume is devoted to the theoretical foundations of hardware design. The 12 chapters presented are organized in sections on mathematical foundations of hardware modelling; models of hardware and dynamical systems; and verification and deductive design of systems. The book is a memoir documenting scientific work done by the NADA Working Group within ESPRIT Basic Research Action 8533.The chapters address theoretical topics including stream processing, spatially extended systems, hierarchical structures, and integration of digital analogue models. There are case studies of superscalar processors, the Java Virtual Machine, and biological excitable media; various design and verification techniques are presented.

Introduction: NADA and NIL The NADA Groupp. 1
Mathematical Foundations
Streams, Stream Transformers and Domain Representationsp. 27
Ideal Stream Algebrap. 69
Normalisation by Evaluationp. 117
Hardware and Dynamical Systems
Algebraic Models of Superscalar Microprocessor Implementations: A Case Studyp. 138
Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithmsp. 184
Towards an Algebraic Speci cation of the Java Virtual Machinep. 236
Grid Protocol Speci cationsp. 278
The Computational Description of Analogue System Behaviourp. 309
Verification and Deductive Design
Reasoning about Imperfect Digital Systemsp. 333
F ormal Veri cation and Hardware Design with Statechartsp. 356
An Exercise in Conditional Re nementp. 390
Deductive Hardware Design: A Functional Approachp. 421
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540654612
ISBN-10: 3540654615
Series: Prospects for Hardware Foundations
Audience: General
Format: Paperback
Language: English
Number Of Pages: 470
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.46
Weight (kg): 0.67