#### Filter Results:

#### Publication Year

1977

2001

#### Co-author

#### Key Phrase

#### Publication Venue

Learn More

The efficiency of Boolean function manipulation depends on the form of representation of Boolean functions. <italic>Binary Decision Diagrams (BDD's)</italic> are graph representations proposed by Akers and Bryant. BDD's have some properties which can be used to enable efficient Boolean function manipulation.
In this paper, we describe a technique of more… (More)

P This paper presents an e cient method for manipulating very large Shared inary-Deciston Diagrams (SBDD'S) which am too large to be stored within main memory. In contrast that the conventional depth-first aigorithm causes random access of memory,, the proposed method is intended to cause sequential access of memory. The main idea o our method is level-i… (More)

We ropose in this paper a new exact algorithm and gr aduay improvement methods of minimizing binary decision diagrams (BDD's). In the exact minimization algorithm the o timum order is searched by the exchanges o! variabyes of BDD's based on the framework of Friedman's algorithm. The use of BDD representation of a given function and intermediate functions… (More)

BDD-based approaches cannot handle some arithmetic functions such as multiplication efficiently, while Binary Moment Diagrams proposed by Bryant and Chen provide compact representations for those functions. They reported a BMD-based polynomial-time algorithm for verifying multipliers. This approach requires high-level information such as specifications to… (More)