Graph-Based Algorithms for Boolean Function Manipulation

DMCA

Graph-Based Algorithms for Boolean Function Manipulation (1986)

Download From

IEEE

Download Links

Other Repositories/Bibliography

CiteULike
DBLP

by Randal E. Bryant

Venue:	IEEE Transactions on Computers
Citations:	3517 - 46 self

BibTeX

@ARTICLE{Bryant86graph-basedalgorithms,
    author = {Randal E. Bryant},
    title = {Graph-Based Algorithms for Boolean Function Manipulation},
    journal = {IEEE Transactions on Computers},
    year = {1986},
    volume = {35},
    pages = {677--691}
}

OpenURL

Abstract

In this paper we present a new data structure for representing Boolean functions and an associated set of manipulation algorithms. Functions are represented by directed, acyclic graphs in a manner similar to the representations introduced by Lee [1] and Akers [2], but with further restrictions on the ordering of decision variables in the graph. Although a function requires, in the worst case, a graph of size exponential in the number of arguments, many of the functions encountered in typical applications have a more reasonable representation. Our algorithms have time complexity proportional to the sizes of the graphs being operated on, and hence are quite efficient as long as the graphs do not grow too large. We present experimental results from applying these algorithms to problems in logic design verification that demonstrate the practicality of our approach.

Keyphrases

graph-based algorithm boolean function manipulation size exponential reasonable representation manipulation algorithm new data structure typical application decision variable boolean function present experimental result logic design verification time complexity proportional associated set acyclic graph

DMCA