DocumentCode
1485216
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
Volume
45
Issue
12
fYear
1996
fDate
12/1/1996 12:00:00 AM
Firstpage
1445
Lastpage
1449
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;
fLanguage
English
Journal_Title
Computers, IEEE Transactions on
Publisher
ieee
ISSN
0018-9340
Type
jour
DOI
10.1109/12.545975
Filename
545975
Link To Document