Ebook: Prospects for Hardware Foundations: ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters

Preface VI I X Table of Contents B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 1-26, 1998. Springer-Verlag Berlin Heidelberg 1998 2 The NADA Group Introduction: NADA and NIL 3 4 The NADA Group Introduction: NADA and NIL 5 6 The NADA Group Introduction: NADA and NIL 7 8 The NADA Group Introduction: NADA and NIL 9 10 The NADA Group Introduction: NADA and NIL 11 12 The NADA Group Introduction: NADA and NIL 13 14 The NADA Group Introduction: NADA and NIL 15 16 The NADA Group Introduction: NADA and NIL 17 18 The NADA Group Introduction: NADA and NIL 19 20 The NADA Group Introduction: NADA and NIL 21 22 The NADA Group Introduction: NADA and NIL 23 24 The NADA Group Introduction: NADA and NIL 25 26 The NADA Group Streams, Stream Transformers and Domain Representations B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 27-68, 1998. Springer-Verlag Berlin Heidelberg 1998 28 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 29 30 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 31 32 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 33 34 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 35 36 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 37

---

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.

---

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.
Content:
Front Matter....Pages I-X
Introduction: NADA and NIL....Pages 1-26
Streams, Stream Transformers and Domain Representations....Pages 27-68
Ideal Stream Algebra....Pages 69-116
Normalization by Evaluation....Pages 117-137
Algebraic Models of Superscalar Microprocessor Implementations: a Case Study....Pages 138-183
Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms....Pages 184-235
Towards an Algebraic Specification of the Java Virtual Machine....Pages 236-277
Grid Protocol Specifications....Pages 278-308
The Computational Description of Analogue System Behaviour....Pages 309-332
Reasoning about Imperfect Digital Systems....Pages 333-355
Formal Verification and Hardware Design with Statecharts....Pages 356-389
An Exercise in Conditional Refinement....Pages 390-420
Deductive Hardware Design: A Functional Approach....Pages 421-468

---

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.
Content:
Front Matter....Pages I-X
Introduction: NADA and NIL....Pages 1-26
Streams, Stream Transformers and Domain Representations....Pages 27-68
Ideal Stream Algebra....Pages 69-116
Normalization by Evaluation....Pages 117-137
Algebraic Models of Superscalar Microprocessor Implementations: a Case Study....Pages 138-183
Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms....Pages 184-235
Towards an Algebraic Specification of the Java Virtual Machine....Pages 236-277
Grid Protocol Specifications....Pages 278-308
The Computational Description of Analogue System Behaviour....Pages 309-332
Reasoning about Imperfect Digital Systems....Pages 333-355
Formal Verification and Hardware Design with Statecharts....Pages 356-389
An Exercise in Conditional Refinement....Pages 390-420
Deductive Hardware Design: A Functional Approach....Pages 421-468
....