Title :
Suggestion for a new representation for binary function
Author :
Jiang, Honghai ; Majithia, Jay C.
Author_Institution :
Sch. of Electr. & Electron. Eng., Nanyang Technol. Univ., Singapore
fDate :
12/1/1996 12:00:00 AM
Abstract :
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. 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
Keywords :
Boolean functions; logic design; Boolean function representation; binary decision diagram; binary functions representation; ordered binary decision diagram; output value array graphs; Binary decision diagrams; Boolean functions; Circuits; Data structures; Input variables; Logic; Notice of Violation; Senior members; Testing; Very large scale integration;
Journal_Title :
Computers, IEEE Transactions on