Issue No.12 - December (1996 vol.45)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.545975
<p><b>Abstract</b>—The widely used method for Boolean function representation, called Binary Decision Diagram (BDD), and its variation, the Ordered Binary Decision Diagram (OBDD), occasionally become time and space consuming for efficient manipulations with increase of number of its input variables. It would appear intuitively that a more efficient approach can be derived by viewing the function from the perspective of its output values.</p><p>In this paper, such an approach based on the concept of input implicit/output explicit representation is developed. These output value array graphs (OVAGs) are derived for some sample circuits to illustrate their compact size. These are, however, preliminary results and additional research is needed to fully demonstrate the usefulness of OVAGs.</p>
Implicit and explicit representation for Boolean function, ordered binary decision diagram, parallel operation.
Honghai Jiang, Jay C. Majithia, "Suggestion for a New Representation for Binary Function", IEEE Transactions on Computers, vol.45, no. 12, pp. 1445-1449, December 1996, doi:10.1109/12.545975