Advertisement

Algorithmen und Datenstrukturen im VLSI-Design

OBDD — Grundlagen und Anwendungen

  • Christoph Meinel
  • Thorsten Theobald

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Einleitung

    1. Christoph Meinel, Thorsten Theobald
      Pages 1-6
  3. Grundlagen

    1. Christoph Meinel, Thorsten Theobald
      Pages 7-23
  4. Datenstrukturen für Schaltfunktionen

    1. Front Matter
      Pages 25-25
    2. Christoph Meinel, Thorsten Theobald
      Pages 27-52
    3. Christoph Meinel, Thorsten Theobald
      Pages 53-79
    4. Christoph Meinel, Thorsten Theobald
      Pages 81-91
  5. OBDDs: Eine effiziente Datenstruktur

    1. Front Matter
      Pages 93-93
    2. Christoph Meinel, Thorsten Theobald
      Pages 95-110
    3. Christoph Meinel, Thorsten Theobald
      Pages 111-129
    4. Christoph Meinel, Thorsten Theobald
      Pages 131-153
    5. Christoph Meinel, Thorsten Theobald
      Pages 155-182
  6. Anwendungen und Erweiterungen

    1. Front Matter
      Pages 183-183
    2. Christoph Meinel, Thorsten Theobald
      Pages 185-211
    3. Christoph Meinel, Thorsten Theobald
      Pages 213-224
    4. Christoph Meinel, Thorsten Theobald
      Pages 225-249
    5. Christoph Meinel, Thorsten Theobald
      Pages 251-271
  7. Back Matter
    Pages 273-285

About this book

Introduction

Eines der Hauptprobleme beim Chipentwurf besteht darin, daß die Anzahl der zu bewältigenden Kombinationen der einzelnen Chipbausteine ins Unermeßliche steigt. Hier hat sich eine sehr fruchtbare Verbindung zu einem Kerngebiet der Theoretischen Informatik, dem Gebiet des Entwurfs von Datenstrukturen und effizienten Algorithmen, herstellen lassen: das Konzept der geordneten binären Entscheidungsgraphen, das in zahlreichen CAD-Projekten zu einer beträchtlichen Leistungssteigerung geführt hat. Die Autoren stellen die Grundlagen dieses interdisziplinären Forschungsgebiets dar und behandeln wichtige Anwendungen aus dem rechnergestützten Schaltkreisentwurf.

Keywords

Algorithmen Automat Automaten Boolesche Algebra Boolesche Funktion Datenstruktur Graphen Komplexität Logik Modellprüfung Optimierung Schaltkreisentwurf VLSI Variable formale Verifikation

Authors and affiliations

  • Christoph Meinel
    • 1
  • Thorsten Theobald
    • 2
  1. 1.FB IV — InformatikUniversität TrierTrierDeutschland
  2. 2.Zentrum MathematikTechnische Universität MünchenMünchenDeutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-58773-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-63869-8
  • Online ISBN 978-3-642-58773-3
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
Electronics
IT & Software
Telecommunications