Skip to main content
SpringerLink
Log in

Algorithmen und Datenstrukturen im VLSI-Design

OBDD — Grundlagen und Anwendungen

  • Textbook
  • © 1998

Overview

Authors:
  1. Christoph Meinel

    1. FB IV — Informatik, Universität Trier, Trier, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Thorsten Theobald

    1. Zentrum Mathematik, Technische Universität München, München, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Erste umfassende Darstellung von Theorie und Praxis des Gegenstands
  • Neuartiges Verfahren, jeden Chip mittels OBDDs zu simulieren und testen
  • Verankerung aktueller technischer Entwicklungen wie Chipfehler-Erkennung, Höchstintegration, Deep Submicron Darstellung neuer Anwendungsmöglichkeiten beim CAD

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 chapters)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Einleitung

    1. Einleitung

      • Christoph Meinel, Thorsten Theobald
      Pages 1-6

  3. Grundlagen

    1. Grundlagen

      • Christoph Meinel, Thorsten Theobald
      Pages 7-23

  4. Datenstrukturen für Schaltfunktionen

    1. Front Matter

      Pages 25-25
      Download chapter PDF

    2. Boolesche Funktionen

      • Christoph Meinel, Thorsten Theobald
      Pages 27-52

    3. Klassische Darstellungen

      • Christoph Meinel, Thorsten Theobald
      Pages 53-79

    4. Anforderungen an Datenstrukturen für die formale Schaltkreisverifikation

      • Christoph Meinel, Thorsten Theobald
      Pages 81-91

  5. OBDDs: Eine effiziente Datenstruktur

    1. Front Matter

      Pages 93-93
      Download chapter PDF

    2. OBDDs — Geordnete binäre Entscheidungsgraphen

      • Christoph Meinel, Thorsten Theobald
      Pages 95-110

    3. Effiziente Implementierung von OBDDs

      • Christoph Meinel, Thorsten Theobald
      Pages 111-129

    4. Einfluß der Variablenordnung auf die Komplexität von OBDDs

      • Christoph Meinel, Thorsten Theobald
      Pages 131-153

    5. Optimierung der Variablenordnung

      • Christoph Meinel, Thorsten Theobald
      Pages 155-182

  6. Anwendungen und Erweiterungen

    1. Front Matter

      Pages 183-183
      Download chapter PDF

    2. Analyse sequentieller Systeme

      • Christoph Meinel, Thorsten Theobald
      Pages 185-211

    3. Symbolisches Model Checking

      • Christoph Meinel, Thorsten Theobald
      Pages 213-224

    4. Varianten und Erweiterungen von OBDDs

      • Christoph Meinel, Thorsten Theobald
      Pages 225-249

    5. Transformationstechniken zur Optimierung

      • Christoph Meinel, Thorsten Theobald
      Pages 251-271

  7. Back Matter

    Pages 273-285
    Download chapter PDF
Back to top

Keywords

About this book

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.

Authors and Affiliations

  • FB IV — Informatik, Universität Trier, Trier, Deutschland

    Christoph Meinel

  • Zentrum Mathematik, Technische Universität München, München, Deutschland

    Thorsten Theobald

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation