Verifikation digitaler Systeme

Eine Einführung in den Entwurf korrekter digitaler Systeme

  • Hans Eveking

Part of the Leitfäden und Monographien der Informatik book series (LMI)

Table of contents

  1. Front Matter
    Pages I-XII
  2. Einleitung

    1. Hans Eveking
      Pages 1-8
  3. Grundlagen

    1. Front Matter
      Pages 9-9
    2. Hans Eveking
      Pages 11-17
    3. Hans Eveking
      Pages 19-26
    4. Hans Eveking
      Pages 27-34
    5. Hans Eveking
      Pages 35-42
    6. Hans Eveking
      Pages 43-56
  4. Elementare Verifikationstechniken für Hardwarebeschreibungen

    1. Front Matter
      Pages 57-57
    2. Hans Eveking
      Pages 59-66
    3. Hans Eveking
      Pages 67-96
    4. Hans Eveking
      Pages 97-106
    5. Hans Eveking
      Pages 107-133
    6. Hans Eveking
      Pages 139-158
    7. Hans Eveking
      Pages 159-176
    8. Hans Eveking
      Pages 177-187
  5. Entwurfsmethodik

    1. Front Matter
      Pages 189-189
    2. Hans Eveking
      Pages 191-194
    3. Hans Eveking
      Pages 195-210

About this book

Keywords

Arbeit Entwicklung Entwurf Modellierung Semantik Stabilität Systeme Transitionsrelation VLSI Verfahren Verifikation Werkstoff Werkzeug formale Sprache formale Sprachen

Authors and affiliations

  • Hans Eveking
    • 1
  1. 1.Technische Hochschule DarmstadtDeutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-322-94684-3
  • Copyright Information Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden 1991
  • Publisher Name Vieweg+Teubner Verlag, Wiesbaden
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-519-02249-7
  • Online ISBN 978-3-322-94684-3
  • About this book
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering