Computation of Probability Coefficients using Binary Decision Diagram and their Application in Test Vector Generation
MetadataShow full item record
This paper deals with efficient computation of probability coefficients which offers computational simplicity as compared to spectral coefficients. It eliminates the need of inner product evaluations in determination of signature of a combinational circuit realizing given Boolean function. The method for computation of probability coefficients using transform matrix, fast transform method and using BDD is given. Theoretical relations for achievable computational advantage in terms of required additions in computing all 2n probability coefficients of n variable function have been developed. It is shown that for n>5, only 50% additions are needed to compute all probability coefficients as compared to spectral coefficients. The fault detection techniques based on spectral signature can be used with probability signature also to offer computational advantage.
Showing items related by title, author, creator and subject.
Reducing the dimensionality of hyperspectral remotely sensed data with applications for maximum likelihood image classificationSantich, Norman Ty (2007)As well as the many benefits associated with the evolution of multispectral sensors into hyperspectral sensors there is also a considerable increase in storage space and the computational load to process the data. ...
Ellipsoidal topographic potential: New solutions for spectral forward gravity modeling of topography with respect to a reference ellipsoidClaessens, Sten; Hirt, Christian (2013)Forward gravity modeling in the spectral domain traditionally relies on spherical approximation. However, this level of approximation is insufficient for some present day high-accuracy applications. Here we present two ...
Claessens, Sten (2006)The determination of the figure of the Earth and its gravity field has long relied on methodologies that approximate the Earth by a sphere, but this level of accuracy is no longer adequate for many applications, due to ...