On the estimation of logic complexity for design automation applications

Many logic design automation procedures would benefit from a priori knowledge of complexity of the resulting realization. There are no universally accepted notions of space/time complexity criteria, as such measures are greatly influenced by the target topologies and technology. Even though an accurate measure of logic complexity is extremely difficult to compute, it is possible to obtain rough estimates of relative logic complexities with the use of simple estimators. It is shown that functional complexity criteria are very reliable as relative predictors of logic complexity for functions in particular classes (such as adders, arithmetic functions, etc.) or functions that otherwise have similar structures but do not perform as well when random functions are considered. The functional complexity criterion used in this study can relate the complexities of two adders with different number of bits very well, but cannot predict the relative complexities of two functions in entirely different classes.<<ETX>>

[1]  E. McCluskey Minimization of Boolean functions , 1956 .

[2]  E. A. Trachtenberg,et al.  Design automation tools for efficient implementation of logic functions by decomposition , 1989, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[3]  Robert K. Brayton,et al.  MIS: A Multiple-Level Logic Optimization System , 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[4]  Wolfgang Hilberg Funktionale Komplexität und konkrete Information , 1985 .

[5]  D. Gregory,et al.  SOCRATES: A System for Automatically Synthesizing and Optimizing Combinational Logic , 1986, 23rd ACM/IEEE Design Automation Conference.

[6]  E. A. Trachtenberg,et al.  A fast algorithm for the optimal state assignment of large finite state machines , 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.