Predicting the functional complexity of combinational circuits by symbolic spectral analysis of Boolean functions

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Predicting the functional complexity of combinational circuits by symbolic spectral analysis of Boolean functions

Full text

Pdf (622 KB)

Source

European Design Automation Conference archive
Proceedings of the conference on European design automation table of contents

Brighton, England

Pages: 294 - 299

Year of Publication: 1995

ISBN:0-8186-7156-4

Authors

Enrico Macii	Politecnico di Torino, Dip. di Automatica e Informatica, Torino, Italy
Massimo Poncino	Politecnico di Torino, Dip. di Automatica e Informatica, Torino, Italy

Sponsor

SIGDA: ACM Special Interest Group on Design Automation

Publisher

IEEE Computer Society Press Los Alamitos, CA, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 4, Citation Count: 0

Additional Information:

references index terms collaborative colleagues peer to peer

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	M. G. Karpovsky, "Harmonic Analysis of Over Finite Commutative Groups in Linearization Problems for Systems of Logical Functions," Information and Control, Vol. 33, No. 2, pp. 142-165, February 1977.
	2	C. Moraga, "Comments on a Method of Karpovsky," Information and Control, Vol. 39, No. 3, pp. 243-246, December 1978.
	3	Kwang-Ting Cheng , Vishwani D. Agrawal, An entropy measure for the complexity of multi-output Boolean functions, Proceedings of the 27th ACM/IEEE conference on Design automation, p.302-305, June 24-27, 1990, Orlando, Florida, United States [doi>10.1145/123186.123282]
	4	D. Varma, E.A. Trachtenberg, "On the Estimation of Logic Complexity for Design Automation Applications," ICCD-90: IEEE International Conference on Computer Design, pp. 368-371, Cambridge, MA, September 1990.
	5	Randal E. Bryant, Graph-based algorithms for Boolean function manipulation, IEEE Transactions on Computers, v.35 n.8, p.677-691, Aug. 1986 [doi>10.1109/TC.1986.1676819]
	6	Karl S. Brace , Richard L. Rudell , Randal E. Bryant, Efficient implementation of a BDD package, Proceedings of the 27th ACM/IEEE conference on Design automation, p.40-45, June 24-27, 1990, Orlando, Florida, United States [doi>10.1145/123186.123222]
	7	R. Iris Bahar , Erica A. Frohm , Charles M. Gaona , Gary D. Hachtel , Enrico Macii , Abelardo Pardo , Fabio Somenzi, Algebraic decision diagrams and their applications, Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design, p.188-191, November 07-11, 1993, Santa Clara, California, United States
	8	E. M. Clarke , K. L. McMillan , X Zhao , M. Fujita , J. Yang, Spectral transforms for large boolean functions with applications to technology mapping, Proceedings of the 30th international conference on Design automation, p.54-60, June 14-18, 1993, Dallas, Texas, United States [doi>10.1145/157485.164569]
	9	Yung-Te Lai , Massoud Pedram , Sarma B. K. Vrudhula, BDD based decomposition of logic functions with application to FPGA synthesis, Proceedings of the 30th international conference on Design automation, p.642-647, June 14-18, 1993, Dallas, Texas, United States [doi>10.1145/157485.165078]
	10	E. Macci , M. Poncino, Using symbolic Rademacher-Walsh spectral transforms to evaluate the correlation between Boolean functions, Proceedings of the Fifth Great Lakes Symposium on VLSI (GLSVLSI'95), p.112, March 16-18, 1995
	11	Hyunwoo Cho , Gary D. Hachtel , Enrico Macii , Bernard Plessier , Fabio Somenzi, Algorithms for approximate FSM traversal, Proceedings of the 30th international conference on Design automation, p.25-30, June 14-18, 1993, Dallas, Texas, United States [doi>10.1145/157485.164555]
	12	Hyunwoo Cho , Gary D. Hachtel , Enrico Macii , Massimo Poncino , Fabio Somenzi, A Structural Approach to State Space Decomposition for Approximate Reachability Analysis, Proceedings of the1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, p.236-239, October 10-12, 1994
	13	S.L. Hurst, D. M. Miller, J. C. Muzio, "Spectral Method of Boolean Function Complexity," Electronics Letters, Vol. 18, No. 13, pp.572- 574, June 1982.
	14	D. Varma, e.A. Trachtenberg, "Design Automation Tools for Efficient Implementation of Logic Functions by Decomposition," IEEE Transactions on Computer Aided Design, Vol. CAD-8, No. 8, pp. 901-916, August 1989.
	15	R. I. Bahar, E. A. Frohm, C. M. Gaona, G. D. Hachtel, E. Macii, A. Pardo, F. Somenni, Algebraic Decision Diagrams and their Applications, Internal Report, Dept. of Electrical and Computer Engineering, University of Colorado at Boulder, April 1993.
	16	Stanley L. Hurst , Jon C. Muzio , D. Michael Miller, Spectral Techniques in Digital Logic, Academic Press, Inc., Orlando, FL, 1985
	17	Mark Karpovsky, Finite Orthogonal Series in Design of Digital Devices, John Wiley & Sons, 2006
	18	E.M. Clarke, M. Fujita, P. C. McGeer, K. L. McMillan, J. Yang. "Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation," IWLS-93: International Workshop on Logic Synthesis, Lake Tahoe, CA, May 1993.
	19	G. Boole, The Mathematical Analysis of Logic, Macmillan, 1847, Reprinted by B. Blackwell, Oxford, UK, 1951
	20	S. Yang, Logic Synthesis and Optimization Benchmarks User Guide, Version 3.0, MCNC, Research Triangle Park, NC, January 1991.
	21	F. Brglez, D. Bryan, K. Kosminski, "Combinational Profiles of Sequential Benchmark Circuits," ISCAS-89, pp. 1929-1934, Portland, OR, May 1989.
	22	Ellen Sentovich , Kanwar Jit Singh , Cho W. Moon , Hamid Savoj , Robert K. Brayton , Alberto L. Sangiovanni-Vincentelli, Sequential Circuit Design Using Synthesis and Optimization, Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors, p.328-333, October 11-14, 1992
	23	R. Iris Bahar , Gary D. Hachtel , Enrico Macii , Fabio Somenzi, A symbolic method to reduce power consumption of circuits containing false paths, Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design, p.368-371, November 06-10, 1994, San Jose, California, United States
	24	M. A. Thornton, V. S. S. Nair, "An Iterative Combinational Logic Synthesis Technique Using Spectral Information," EuroDAC-93: IEEE Eropean Design Automation Conference, pp. 358-363, Hamburg, Germany, September 1993.
	25	M. A. Thornton, V. S. S. Nair, "Parity Function Detection and Realization Using a Small Set of Spectral Coefficients," IWLS-95: ACM/IEEE International Workshop on Logic Synthesis, pp. 8.39- 8.47, Lake Tahoe, CA, May 1995.