# Binary Decision Diagrams

@article{Akers1978BinaryDD, title={Binary Decision Diagrams}, author={Sheldon B. Akers}, journal={IEEE Transactions on Computers}, year={1978}, volume={C-27}, pages={509-516} }

This paper describes a method for defining, analyzing, testing, and implementing large digital functions by means of a binary decision diagram. This diagram provides a complete, concise, "implementation-free" description of the digital functions involved. Methods are described for deriving these diagrams and examples are given for a number of basic combinational and sequential devices. Techniques are then outlined for using the diagrams to analyze the functions involved, for test generation… Expand

#### Figures and Topics from this paper

#### 1,420 Citations

Functional Test Generation for Digital Circuits Described Using Binary Decision Diagrams

- Mathematics, Computer Science
- IEEE Transactions on Computers
- 1986

This correspondence presents a test generation methodology for VLSI circuits described at the functional level, which proposes a generalized D algorithm for generating tests to detect functional as well as gate-level faults. Expand

Functional test generation using binary decision diagrams

- Computer Science
- 1987

A generalization of the D-algorithm is proposed which takes the module-level model and the functional description of the modules as parameters, and generates tests to detect the faults in the fault model. Expand

Verification algorithms for VLSI synthesis

- Mathematics, Computer Science
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- 1988

Experimental results are given which indicate that, with the exception of the don't-care method, each of these methods has a problem class in which it is clearly superior to the others. Expand

The use of binary decision diagrams for the decomposition of programmable logic arrays

- Computer Science
- Automatic Control and Computer Sciences
- 2011

The decomposition method of programmable logic arrays based on the two-block partitioning of a set of variables and the algorithm of the selection of variable partitioning are suggested. The method… Expand

Binary Decision Diagrams: From Abstract Representations to Physical Implementations

- Computer Science
- 20th Design Automation Conference Proceedings
- 1983

The paper shows that further significant benefits can be realized by implementing BDDs as custom or semi-custom integrated circuits, including efficient use of silicon area and improved simulation. Expand

Ternary decision diagrams

- Computer Science
- Student Conference on Research and Development
- 2002

This paper describes a method of defining, analyzing, and implementing the Boolean function using a ternary decision diagram (TDD), which enables us to evaluate a Boolean function. Expand

An Enhanced Algorithm for Variable Reordering in Binary Decision Diagrams

- Computer Science
- 2018 9th International Conference on Computing, Communication and Networking Technologies (ICCCNT)
- 2018

This paper outlines an enhanced variable ordering algorithm which shall be capable to produce the minimum number of nodes for a given Reduced Ordered Binary Decision Diagrams (ROBDD). Expand

A Characterization of Binary Decision Diagrams

- Mathematics, Computer Science
- IEEE Trans. Computers
- 1993

A tighter bound on the size of an ordered BDD that can be computed from a given Boolean circuit is presented and a case is made for exploring the use of repeated BDDs, with a small number of repeated variables, and free BDD's for some applications for which only ordered B DDs have been used so far. Expand

Use of binary decision diagrams in the modelling and synthesis of binary multipliers

- Computer Science
- Proceedings Ninth Annual IEEE International ASIC Conference and Exhibit
- 1996

This paper presents a method of partitioning the multiplier in a manner which restricts the complexity to the carry bits, which results in BDD's which grow no faster than the square of the number of inputs. Expand

Algorithms for technology mapping based on binary decision diagrams and on Boolean operations

- Computer Science
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- 1993

Algorithms and a computer-aided design tool for technology mapping of both completely specified and incompletely specified logic networks are introduced and a novel matching algorithm, using ordered binary decision diagrams, is described. Expand

#### References

SHOWING 1-10 OF 13 REFERENCES

On Finding a Nearly Minimal Set of Fault Detection Tests for Combinational Logic Nets

- Engineering, Computer Science
- IEEE Trans. Electron. Comput.
- 1966

A procedure is described for finding, by shortcut methods, a near-minimal set of tests for detecting all single faults in a combinational logic net, and it is shown that if a set of Tests can be found which detects an appropriate subset of faults in the enf, this set will detect all faults inThe original net. Expand

Complete Test Sets for Logic Functions

- Mathematics, Computer Science
- IEEE Transactions on Computers
- 1973

It is proved that the set of minimal true vertices and maximal false vertices of the expanded truth table constitutes a test set to detect any number of stuck-at-faults in a network belonging to a class of restricted networks, called unate gate networks. Expand

Multi-threshold threshold elements

- Mathematics, Computer Science
- IEEE Trans. Electron. Comput.
- 1966

It is proved that if the given function requires a k-threshold threshold element, then at least [k/2+I] conventional threshold elements in a two-level network or [1+log 2 k] such elements inA multilevel network are required. Expand

Universal Test Sets for Logic Networks

- Mathematics, Computer Science
- IEEE Trans. Computers
- 1973

It is shown that, for AND/OR networks, universal test sets may be found that detect not only all single faults but all multiple faults as well. Expand

fundamental algorithms

- Computer Science
- 1969

General Instructions Material: You may only use one handwritten sheet of paper (size A4, on both pages) to solve the exercises and any other material including electronic devices of any kind is forbidden. Expand

Advanced Micro Devices Data Book

- 1974