The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
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, and for obtaining various implementations. It is shown that the diagrams are especially suited for processing by a computer. Finally, methods are described for introducing inversion and for directly "interconnecting" diagrams to define still larger functions. An example of the carry look-ahead adder is included.
How it got here
How it got here
agent via openalex
Added
2026-10-25 03:21 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@article{akers1978binary,
title = {Binary Decision Diagrams},
author = {Akers},
year = {1978},
journal = {IEEE Transactions on Computers},
publisher = {Institute of Electrical and Electronics Engineers},
volume = {C-27},
number = {6},
pages = {509--516},
doi = {10.1109/tc.1978.1675141},
}