Non-Abelian Groups in Optimization of Decision Diagrams Representations of Discrete Functions
Formal Methods in System Design
| Hi-index | 0.00 |
Different decision diagrams for representations of binary and multiple-valued functions in the form of Complex Hadamard Transforms and Spectra are introduced in this paper. Since Complex Hadamard Transform matrix can be recursively expanded through Kronecker products, complex hybrid decision diagrams can be easily derived. Other types of decision diagrams introduced are: complex multi-terminal decision diagrams, complex algebraic decision diagrams, real and imaginary decision diagrams and complex edge-valued decision diagrams. The latter decision diagrams are derived from partial Complex Hadamard Transform. Introduction of different efficient representations of Complex Hadamard Transforms and spectra in the form of decision diagrams with their useful properties as the discrete transformations should open the possibility of new applications of spectral techniques based on such transformations in the design of binary and multiple-valued logic systems.