Date of Original Version

7-24-1998

Type

Article

Abstract or Description

This paper presents lower bound results on Boolean function complexity under two different models. The first is an abstraction of tradeoffs between chip area and speed in very large scale integrated (VLSI) circuits. The second is the ordered binary decision diagram (OBDD) representation used as a data structure for symbolically representing and manipulating Boolean functions. These lower bounds demonstrate the fundamental limitations of VLSI as an implementation medium, and OBDD’s as a data structure. They also lend insight into what properties of a Boolean function lead to high complexity under these models

DOI

10.1109/12.73590

Share

COinS