Title: Graph driven BDDs — a new data structure for Boolean functions
Abstract: (Ordered) binary decision diagrams (OBDDs) are used as a data structure for Boolean functions in the logical synthesis process, for verification and test pattern generation, and as part of CAD tools. For several important functions like arithmetical and logical units with quite different functions, the indirect storage access function or the hidden weighted bit function OBDDs have exponential size for any ordering of the variables. Since an ordering of the variables may be stored as a list, OBDDs may also be called list driven BDDs. Two new generalized models of graph driven BDDs are presented. The above mentioned and many other functions can be represented in small polynomial size in this model and the usual operations on OBDDs can be performed efficiently also for graph driven BDDs.
Publication Year: 1995
Publication Date: 1995-04-01
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 107
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot