Conquering Uncertainty in Multiple-Valued Logic Design
Artificial Intelligence Review
Conquering uncertainty in multiple-valued logic design
Artificial intelligence in logic design
A Fast Probability-Based Algorithm for Leakage Current Reduction Considering Controller Cost
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Computation of signal output probability for Boolean functions represented by OBDD
Computers & Mathematics with Applications
| Hi-index | 0.03 |
In 1995, Thornton and Nair studied the computation and application of a general class of spectral coefficients. A method for the computation of individual spectral coefficients using output probabilities computed on ROBDDs was presented. In this paper, that method is improved. Specifically, an alternative method for computing output probabilities is presented which, unlike the previous method, requires no recomputation for shared ROBDD representations and allows the use of edge negations. Based on this method, an alternative approach to computing the value of a spectral coefficient using output probabilities and ROBDDs is given. In contrast to the method described in 1995, one rather than two composition functions need to be considered, and no supplementary ROBDDs need to be constructed