Decision diagram method for calculation of pruned Walsh transform

IEEE Transactions on Computers

Volumn 50, Issue 2, 2001, Pages 147-157

  Jankovic, Dragan ^a   Stankovic, Radomir S ^a   Drechsler, Rolf ^b  

^a UNIVERSITY OF NI   (Serbia)

^b Corporate Technology ^*  (Germany)

Author keywords

BDD; Logic synthesis; Pruned spectrum; Spectral techniques; Walsh

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; DECISION THEORY; LOGIC DESIGN; MATHEMATICAL TRANSFORMATIONS; RECURSIVE FUNCTIONS; SIGNAL PROCESSING; SPECTRUM ANALYSIS;

BINARY DECISION DIAGRAM METHOD; LOGIC SYNTHESIS; ORTHOGONAL TRANSFORM; WALSH TRANSFORM;

BINARY SEQUENCES;

EID: 0035248370     PISSN: 00189340     EISSN: None     Source Type: Journal    
DOI: 10.1109/12.908990     Document Type: Article

References (36)

1. Algebraic decision diagrams and their applications
2. Graph-based algorithms for boolean functions manipulation
3. Fast walsh transform computation with binary decision diagram
4. Multi-terminal decision diagrams and hybrid decision diagrams
5. Spectral transforms for large boolean functions with application to technology mapping
6. Reed-muller spectral techniques for fault detection
7. Recursive relationships, fast transforms, generalizations and VLSI iterative architecture for gray code ordered walsh functions
8. Effective computer methods for the calculation of rademacher-walsh spectrum for completely and incompletely specified boolean functions
9. Efficient algorithm for the calculation of arithmetic spectrum from OBDD and synthesis of OBDD form arithmetic spectrum
10. Hadamard-walsh spectral characterization of reed-muller expressions
11. Fast spectrum computation for logic functions using binary decision diagrams
12. Modular representation of multiple-valued-logic systems
13. Synthesis by spectral translation using boolean decision diagrams
14. An analysis of the use of rademacher-walsh spectrum in compact testing
15. Use of linearization and spectral techniques in input and output compaction testing of digital networks
16. EVBDD-based algorithms for integer linear programming, spectral transformation, and functional decomposition
17. A spectral method for boolean function matching
18. Spectral transform of multiple-valued decision diagrams
19. Tutorial review on applications of the walsh transform in switching theory
20. The computation of complete and reduced sets of orthogonal spectral coefficients for Logic Design and pattern recognition purposes
21. FFT and decision diagrams based methods for calculation of spectral transforms
22. Efficient Algorithm for Haar Spectrum Calculation
23. Reed-muller-fourier representations of multiple-valued functions over galois fields of prime cardinality
24. Spectral transform decision diagrams
25. Calculation of reed-muller-fourier coefficients of multiple-valued functions through multiple-place decision diagrams
26. Optimization of multiple-valued decision algorithms
27. Probabilistic equivalence checking using partial haar spectral diagrams
28. Efficient calculation of spectral coefficients and their application
29. BDD based spectral approach for reed-muller circuit realization
30. Spectral transforms for technical mapping