An improved method for computing a generalized spectral coefficient

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

Volumn 17, Issue 3, 1998, Pages 233-238

  Miller, D Michael ^a,b,c  

^a IEEE   (France)

^b TIMA LABORATORY   (France)

^c UNIVERSITY OF VICTORIA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; GRAPH THEORY; PROBABILITY; SPECTRUM ANALYSIS;

DIRECTED ACYCLIC GRAPHS (DAG); REDUCED ORDERED BINARY DECISION DIAGRAMS (ROBDD);

COMPUTER AIDED LOGIC DESIGN;

EID: 0032028910     PISSN: 02780070     EISSN: None     Source Type: Journal    
DOI: 10.1109/43.700721     Document Type: Article

References (6)

1. R. E. Bryant, "Graph-based algorithms for Boolean function manipulation," IEEE Trans. Comput., vol. C-35, pp. 677-691, Aug. 1986.
2. E. M. Clarice, K. L. McMillan, X. Zhao, M. Fujita, and J. Yang, "Spectral transformations for large Boolean functions with applications to technology mapping," in Proc. IEEE/ACM Design Automation Conf., 1993, pp. 54-60.
3. S. L. Hurst, D. M. Miller, and J. C. Muzio, Spectral Techniques in Digital Logic. New York: Academic, 1985.
4. M. G. Karpovsky, Finite Orthogonal Series in the Design of Digital Devices. New York: Wiley, 1976.
5. S. Minato, N. Ishiura, and S. Yajima, "Shared binary decision diagrams with attributed edges for efficient Boolean function manipulation," in Proc. ACM/IEEE Design Automation Conf., 1990, pp. 52-57.
6. M. A. Thornton and V. S. S. Nair, "Efficient calculation of spectral coefficients and their applications," IEEE Trans. Compute r-Aided Design, vol. 14, pp. 1328-1341, Nov. 1995.