References

1

R.L. Ashenhurst, ``The Decomposition of Switching Functions'', Proc. Int. Symp. of Th. of Switching, 1957.

2

D. Bochmann, B. Steinbach, ``Logikentwurf mit XBOOLE,'' Verlag Technik, Berlin, 1991.

3

R.E. Bryant, ``Graph-Based Algorithms for Boolean Function Manipulation,'' Trans. on Comput., Vol. C-35, No. 8, pp. 667-691, 1986.

4

R. Brayton and F. Somenzi, ``An Exact minimizer for Boolean Relations,'' Proc. of ICCAD, pp. 316-320, 1989.

5

M. J. Ciesielski, S. Yang, and M. Perkowski, ``Multiple-Valued Minimization Based on Graph Coloring,'' Proc. ICCD'89, pp. 262 - 265, October 1989.

6

H.A. Curtis, ``A New Approach to the Design of Switching Circuits,'' Princeton, N.J., Van Nostrand, 1962.

7

D.L. Dietmeyer, ``Logic Design of Digital Systems,'' Allyn and Bacon, Boston, MA, 1971.

8

M. Fujita, Y. Kukimoto, R. Brayton, ``BDD Minimization by Truth Table Permutations,'' IWLS '95.

9

Y.T. Lai, K.R. Pan, M. Pedram, S. Vrudhula, ``FGMap: A Technology Mapping Algorithm for Look-up Table Type FPGA Synthesis,'' Proc. 30-th DAC, pp. 642-647, 1993.

10

T. Luba, J. Rybnik, ``Algorithmic Approach to Discernibility Function with Respect to Attributes and Object Reduction,'' Int. Workshop on Rough Sets, Poznan 1992.

11

Ch. Meinel, J. Bern, A. Slobodova, ``Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits,'' Proc. 32nd DAC, San Francisco 1995.

12

M. Perkowski, H. Uong, ``Generalized Decomposition of Incompletely Specified Multioutput, Multi-Valued Boolean Functions,'' Report, Dept. Electr. Eng., PSU, unpublished, 1987.

13

M. Perkowski, J. Brown, ``A Unified Approach to Designs with Multiplexers and to the Decomposition of Boolean Functions,'' Proc. ASEE Ann. Conf., pp.1610-1619, 1988.

14

M. Perkowski, T. Ross, D. Gadd, J. A. Goldman, and N. Song, ``Application of ESOP Minimization in Machine Learning and Knowledge Discovery,'' This Workshop, August 1995.

15

M. Perkowski, T. Luba, S. Grygiel, M. Kolsteren, R. Lisanke, N. Iliev, P. Burkey, M. Burns, R. Malvi, C. Stanley, Z. Wang, H. Wu, F. Yang, S. Zhou, and J. S. Zhang, ``Unified Approach to Functional Decompositions of Switching Functions,'' PSU Report, unpublished, July 1995.

16

W. Wan, and M. Perkowski, ``A New Approach to the Decomposition of Incompletely Specified Multi-Output Function Based on Graph Coloring and Local Transformations and Its Application to FPGA Mapping,'' Proc. Euro-DAC, pp. 230 - 235, 1992.

5pt