Skip to search formSkip to main contentSkip to account menu

Binary decision diagram

Known as: Binary Decision Diagrams, Branching program, Branching programs 
In computer science, a binary decision diagram (BDD) or branching program is a data structure that is used to represent a Boolean function. On a more… 
Wikipedia (opens in a new tab)

Related topics

Related topics

47 relations
And-inverter graphAutomated theorem provingBinary moment diagramBoolean satisfiability problem

Broader (2)

Boolean algebraModel checking

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2001
2001
Ordered binary decision diagrams
Ordered Binary Decision Diagrams (OBDDs) play a key role in the automated synthesis and formal verification of digital systems… 
1998
1998
BINARY DECISION DIAGRAM REPRESENTATIONS OF FIREWALL AND ROUTER ACCESS LISTS
Abstract Network firewalls and routers can use a rule database to decide which packets wi ll be allowedfrom one network onto… 
1998
1998
Reliability analysis based on binary decision diagrams
A binary decision diagram (BDD) is a representation of Boolean functions that uses the notion of two‐way branching. It has long… 
1996
1996
Quantitative fault tree analysis using Binary Decision Diagrams
This is a journal article. It was published in RAIRO. Automatique-productique informatique industrielle, 30(8), 1996, pp 1051… 
1996
1996
MORE: an alternative implementation of BDD packages by multi-operand synthesis
In this paper we present a new approach for the realization of a BDD package. This approach does not depend on recursive… 
Highly Cited
1995
Highly Cited
1995
Advanced Verification Techniques Based on Learning
Design verification poses a very practical problem during circuit synthesis. Learning based verification techniques prove to be… 
Highly Cited
1995
Highly Cited
1995
Test Generation for Path Delay Faults Using Binary Decision Diagrams
A new test generation technique for path delay faults in circuits employing scan/hold type flip-flops is presented. Reduced… 
1994
1994
Boolean division and factorization using binary decision diagrams
A method for performing Boolean division and factorization using a new cofactor operation, the interval cofactor, is proposed… 
Highly Cited
1992
Highly Cited
1992
Exact calculation of synchronization sequences based on binary decision diagrams
A synchronization sequence for a synchronous design D is a sequence of primary input vectors which when applied to any initial… 
1992
1992
Variable ordering for binary decision diagrams
Considers the problem of variable ordering in binary decision diagrams (BDD's). The authors present several heuristics for… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)