The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.02 - February (1993 vol.42)
pp: 129-137
ABSTRACT
<p>Binary decision diagrams (BDDs) are a representation of Boolean functions. Its use in the synthesis, simulation, and testing of Boolean circuits has been proposed by various researchers. In all these applications of BDDs solutions to some fundamental computational problems are needed. A characterization of BDDs in terms of the complexity of these computational problems is presented. A tighter bound on the size of an ordered BDD that can be computed from a given Boolean circuit is presented. On the basis of the results, a case is made for exploring the use of repeated BDDs, with a small number of repeated variables, and free BDDs for some applications for which only ordered BDDs have been used so far.</p>
INDEX TERMS
characterization; binary decision diagrams; Boolean functions; synthesis; simulation; testing; complexity; computational problems; repeated variables; Boolean functions; logic circuits; logic design; logic testing.
CITATION
S. Chakravarty, "A Characterization of Binary Decision Diagrams", IEEE Transactions on Computers, vol.42, no. 2, pp. 129-137, February 1993, doi:10.1109/12.204789
33 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool