Skip to main content
SpringerLink
Log in

Algorithms and Data Structures in VLSI Design

OBDD - Foundations and Applications

  • Textbook
  • © 1998

Overview

Authors:
  1. Christoph Meinel

    1. University of Trier, Trier, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Thorsten Theobald

    1. Technical University München, München, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • First full presentation of the theory and practice of chip design using OBDDs.
  • A new method for simulating and testing complex chips.
  • Based on latest techniques such as chip error recognition, maximal integration, deep submicron.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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-XI
    Download chapter PDF

  2. Introduction

    1. Introduction

      • Christoph Meinel, Thorsten Theobald
      Pages 1-6

  3. Basics

    1. Basics

      • Christoph Meinel, Thorsten Theobald
      Pages 7-22

  4. Data Structures for Switching Functions

    1. Front Matter

      Pages 23-23
      Download chapter PDF

    2. Boolean Functions

      • Christoph Meinel, Thorsten Theobald
      Pages 25-49

    3. Classical Representations

      • Christoph Meinel, Thorsten Theobald
      Pages 51-76

    4. Requirements on Data Structures in Formal Circuit Verification

      • Christoph Meinel, Thorsten Theobald
      Pages 77-86

  5. OBDDs: An Efficient Data Structure

    1. Front Matter

      Pages 87-87
      Download chapter PDF

    2. OBDDs — Ordered Binary Decision Diagrams

      • Christoph Meinel, Thorsten Theobald
      Pages 89-103

    3. Efficient Implementation of OBDDs

      • Christoph Meinel, Thorsten Theobald
      Pages 105-122

    4. Influence of the Variable Order on the Complexity of OBDDs

      • Christoph Meinel, Thorsten Theobald
      Pages 123-144

    5. Optimizing the Variable Order

      • Christoph Meinel, Thorsten Theobald
      Pages 145-170

  6. Applications and Extensions

    1. Front Matter

      Pages 171-171
      Download chapter PDF

    2. Analysis of Sequential Systems

      • Christoph Meinel, Thorsten Theobald
      Pages 173-197

    3. Symbolic Model Checking

      • Christoph Meinel, Thorsten Theobald
      Pages 199-209

    4. Variants and Extensions of OBDDs

      • Christoph Meinel, Thorsten Theobald
      Pages 211-234

    5. Transformation Techniques for Optimization

      • Christoph Meinel, Thorsten Theobald
      Pages 235-255

  7. Back Matter

    Pages 257-267
    Download chapter PDF
Back to top

Keywords

About this book

One of the main problems in chip design is the huge number of possible combinations of individual chip elements, leading to a combinatorial explosion as chips become more complex. New key results in theoretical computer science and in the design of data structures and efficient algorithms, can be applied fruitfully here. The application of ordered binary decision diagrams (OBDDs) has led to dramatic performance improvements in many computer-aided design projects. This textbook provides an introduction to the foundations of this interdisciplinary research area with an emphasis on applications in computer-aided circuit design and formal verification.

Authors and Affiliations

  • University of Trier, Trier, Germany

    Christoph Meinel

  • Technical University München, München, Germany

    Thorsten Theobald

Bibliographic Information

  • Book Title: Algorithms and Data Structures in VLSI Design

  • Book Subtitle: OBDD - Foundations and Applications

  • Authors: Christoph Meinel, Thorsten Theobald

  • DOI: https://doi.org/10.1007/978-3-642-58940-9

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1998

  • Softcover ISBN: 978-3-540-64486-6Published: 19 August 1998

  • eBook ISBN: 978-3-642-58940-9Published: 06 December 2012

  • Edition Number: 1

  • Number of Pages: XII, 268

  • Number of Illustrations: 7 b/w illustrations

  • Topics: Programming Techniques, Processor Architectures, Algorithm Analysis and Problem Complexity, Computer Hardware

Publish with us

Policies and ethics

Back to top

Search

Navigation