An improved method for computing a generalized spectral coefficient

Author

Miller, D. Michael

Author_Institution

Dept. of Comput. Sci., Victoria Univ., BC, Canada

Volume

17

Issue

3

fYear

1998

fDate

3/1/1998 12:00:00 AM

Firstpage

233

Lastpage

238

Abstract

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

Keywords

Boolean functions; logic design; probability; spectral analysis; edge negations; generalized spectral coefficient; logic synthesis; output probabilities; shared ROBDD representations; Boolean functions; Computer applications; Computer science; Costs; Councils; Data structures; Logic design; Testing; Very large scale integration;

fLanguage

English

Journal_Title

Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on

Publisher

ieee

ISSN

0278-0070

Type

jour

DOI

10.1109/43.700721

Filename

700721