Table of contents for Algorithms and data structures in VLSI design : OBDD-foundations and applications / Christoph Meinel, Thorsten Theobald.


Bibliographic record and links to related information available from the Library of Congress catalog


Information from electronic data provided by the publisher. May be incomplete or contain other coding.


Counter
Introduction.- Basics.- Part I. Data Structures for Switching Functions.- Boolean Functions.- Classic Representations.- Requirements to Data Structures in Formal Circuit Verification.- Part II. OBDDs: An Efficient Data Structure.- Ordered Binary Decision Diagrams.- Efficient Implementation of OBDDs.- Influence of the Variable Order on the Complexity of OBDDs.- Optimizing the Variable Order.- Part III. Applications and Extensions.- Analysis of Sequential Systems.- Symbolic Model Checking.- Variants and Extensions of OBDDs.- Transformation Techniques for Optimizations.- Bibliography.- Index.


Library of Congress subject headings for this publication:
Integrated circuits -- Very large scale integration -- Computer-aided design.
Computer algorithms.
Data structures (Computer science)