On WLCDs and the complexity of word-level decision diagrams - A lower bound for division

Formal Methods in System Design

Volumn 20, Issue 3, 2002, Pages 311-326

  Scholl, Christoph ^a   Becker, Bernd ^a   Weis, Thomas ^a  

^a UNIVERSITY OF FREIBURG   (Germany)

Author keywords

Decision diagrams; Division; Formal verification; Functional design verification; WLCDs; Word level decision diagrams

Indexed keywords

COMPUTATIONAL COMPLEXITY; DATA STRUCTURES; DECISION THEORY; POLYNOMIALS;

WORD-LEVEL LINEAR COMBINATION DIAGRAMS (WLCD);

INTEGRATED CIRCUIT LAYOUT;

EID: 0036570073     PISSN: 09259856     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1014702331828     Document Type: Article

References (18)

1. Algebraic decision diagrams and their application
2. On the computational power of bit-level and word-level decision diagrams
3. Graph-based algorithms for Boolean function manipulation
4. On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication
5. Binary decision diagrams and beyond: Enabeling techniques for formal verification
6. Verification of arithmetic functions with binary moment diagrams
7. *PHDD: An efficient graph representation for floating point circuit verification
8. Hybrid decision diagrams - Overcoming the limitations of MTBDDs and BMDs
9. Spectral transforms for large Boolean functions with application to technology mapping
10. K*BMDs: A new data structure for verification
11. Efficient representation and manipulation of switching functions based on ordered Kronecker functional decision diagrams
12. Multilevel logic synthesis based on functional decision diagrams
13. Edge-valued binary decision diagrams for multi-level hierarchical verification
14. Logic verification using binary decision diagrams in a logic synthesis environment
15. Word-level decision diagrams WLCDs and division
16. On the limitations of ordered representations of functions
17. On the descriptive and algorithmic power of parity ordered binary decision diagrams