Advertisement

Prospects for Hardware Foundations

ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters

  • Bernhard Möller
  • John V. Tucker

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1546)

Table of contents

  1. Front Matter
    Pages I-X
  2. Introduction: NADA and NIL

    1. The NADA Group
      Pages 1-26
  3. I Mathematical Foundations

    1. Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker
      Pages 27-68
    2. Bernhard Möller
      Pages 69-116
    3. Ulrich Berger, Matthias Eberl, Helmut Schwichtenberg
      Pages 117-137
  4. II Hardware And Dynamical Systems

    1. M. J. Poole, J. V. Tucker, A. V. Holden
      Pages 184-235
    2. Jan A. Bergstra, Alban Ponse
      Pages 278-308
    3. Peter T. Breuer, Natividad Martínez Madrid, Carlos Delgado Kloos
      Pages 309-332
  5. Verification and Deductive Design

    1. Keith Hanna
      Pages 333-355
    2. Jan Philipps, Peter Scholz
      Pages 356-389
    3. Ketil Stølen, Max Fuchs
      Pages 390-420
    4. Bernhard Möller
      Pages 421-468

About this book

Introduction

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

Keywords

Dynamical Systems Hardware Verification Logical Design formal methods formal verification hardware microprocessor processor design

Editors and affiliations

  • Bernhard Möller
    • 1
  • John V. Tucker
    • 2
  1. 1.Department of Computer ScienceUniversity of AugsburgAugsburgGermany
  2. 2.Department of Computer ScienceUniversity of Wales at SwanseaSwanseaUK

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-49254-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-65461-2
  • Online ISBN 978-3-540-49254-2
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site