Dynamic Variable Ordering for Ordered Binary Decision Diagrams

2003 ◽  
pp. 51-63 ◽  
Author(s):  
R. Rudell
Keyword(s):  
Binary Decision Diagrams ◽  
Decision Diagrams ◽  
Dynamic Variable ◽  
Ordered Binary Decision Diagrams ◽  
Binary Decision ◽  
Variable Ordering

NC-ALGORITHMS FOR OPERATIONS ON BINARY DECISION DIAGRAMS

1993 ◽  
Vol 03 (01) ◽  
pp. 3-12 ◽  
Author(s):  
DETLEF SIELING ◽  
INGO WEGENER
Keyword(s):  
Binary Decision Diagrams ◽  
Pattern Generation ◽  
Decision Diagrams ◽  
Equivalence Test ◽  
Ordered Binary Decision Diagrams ◽  
Binary Decision ◽  
Verification Test ◽  
Logical Synthesis ◽  
Redundancy Test ◽  
Nc Algorithms

(Ordered) binary decision diagrams are a powerful representation for Boolean functions and are widely used in logical synthesis, verification, test pattern generation or as part of CAD tools. NC-algorithms are presented for the most important operations on this representation, e.g. evaluation for a given input, minimization, satisfiability, redundancy test, replacement of variables by constants or functions, equivalence test and synthesis. The algorithms have logarithmic run time on CRCW COMMON PRAMs with a polynomial number of processors.

scholarly journals Optimal ordered binary decision diagrams for read-once formulas

2000 ◽  
Vol 103 (1-3) ◽  
pp. 237-258 ◽  
Author(s):  
Martin Sauerhoff ◽  
Ingo Wegener ◽  
Ralph Werchner
Keyword(s):  
Binary Decision Diagrams ◽  
Decision Diagrams ◽  
Ordered Binary Decision Diagrams ◽  
Binary Decision
Sign in / Sign up

Export Citation Format

Share Document