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 ...
Cap integration in spectral gravity forward modelling: near- and far-zone gravity effects via Molodensky’s truncation coefficientsBucha, B.; Hirt, C.; Kuhn, Michael (2018)Spectral gravity forward modelling is a technique that converts a band-limited topography into its implied gravitational field. This conversion implicitly relies on global integration of topographic masses. In this paper, ...