Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Some remarks about spectral transform interpretation of MTBDDs and EVBDDs
ASP-DAC '95 Proceedings of the 1995 Asia and South Pacific Design Automation Conference
Logic Synthesis and Optimization
Logic Synthesis and Optimization
Representations of Discrete Functions
Representations of Discrete Functions
Ternary Decision Diagrams: Survey
ISMVL '97 Proceedings of the 27th International Symposium on Multiple-Valued Logic
Matrix-Valued EXOR-TDDs in Decomposition of Switching Functions
ISMVL '99 Proceedings of the Twenty Ninth IEEE International Symposium on Multiple-Valued Logic
Hi-index | 0.00 |
Information content of the ternary decision diagrams (EXOR-TDD) was discussed from the standpoint of spectral transform. Since the EXOR-TDDs are defined in an extended (redundant) basis, its information content is much greater than that of other decision diagrams. To construct the EXOR-TDD for a given function if, the Boolean derivatives of all possible orders were determined with respect to all variables of if. Therefore, different AND-EXOR decision diagrams are contained in the EXOR-TDDs as individual subtrees. Since each of the subtrees is an AND-EXOR expression for if, a procedure was proposed to determine the coefficient of these expressions by analyzing the paths in the EXOR-TDD. The logical Gibbs derivatives also were shown to be obtainable from the EXOR-TDDs.