
Литература
373
90. Gregory D., Bartlett K., DeCeus A., Hachtel G. / SOCRATES: A system for auto-
matically synthesizing and optimizing combinational logic // Proc. of the 23th Design
Automation Conference (DAC). 1986.
91. Hong S.J. On bounds and implementation of arithmetic codes // Coord. Science
Lab. / Univ. 1969. Rep. R-437.
92. Hong S., Muroga S. Absolute Minimization of Completely Specified Swwitching
Function // IEEE Trans. Оn Computers. 1991. Vol. 40, № 1.
93. Hwang T.-Y., Hartmann C.R.P. Some results on arithmetic codes of composite
length // IEEE Trans. 1978. Vol. IT-24, № 1.
94. Jozwiak L. General decomposision and its use in digital circuit synthesis, VLSI
design // An International Journal of Custom-Chip Design Simulation, and Testing, Special
Issue on Decomposition in VLSI Design. 1995. Vol. 3, № 3–4.
95. Jozwiak L. Information relationships and measures: An analysis apparatus for effi-
cient information system synthesis // Proc. of the 25rd EUROMICRO Conference (Milan,
Italy, September 8–10). 1999. Vol. 1.
96. Lavagno L., Malik S., Brayton R., Sangiovanni-Vincentelli A. MIS-MV: Optimiza-
tion of multi-level logic with multiple valued inputs // Proc. of the 27th Design Automation
Conference (DAC). 1990.
97. Luba T., Kalinowski J., Jasinski K. PLATO: A CAD toolfor logic synthesis based
on decomposition // Proc. of the European Conference on Design Automation. 1991.
98. Luba T. Multi-level logic synthesis based on decomposition // Microprocessors
and Microsystems. 1994. Vol. 18, № 8.
99. Kania D. Two-level logic synthesis on PAL-based CPLDand FPGA using decom-
position // Proc. of the 25rd EUROMICRO Conference (Mlan, Italy, September 8–10).
1999. Vol. 1.
100. Kautz W.H. Fibonacci codes for synchronization control // IEEE Trans. Inform
Theory. 1965. Vol. 11, № 8.
101. Mc. Cluskey E.J. Minimization of boolen function // Bell System Techn. J. 1956.
Vol. 35.
102. Mandelbaum D. Multivalued arithmetic burst error codes // IEEE Int. Conv. Rec.
1966. Vol. 14.
103. Mandelbaum D. A comparison of linear sequential circuits and arithmetic se-
quences // IEEE Trans. 1967. Vol. EC-16, № 2.
104. Malic S., Brayton R., Newton A., Sangiovanni-Vincentelli A. Two-levelminimi-
zation of multivaluad functions with large offsets // IEEE Trans. on Computers. 1993.
Vol. 42, № 11.
105. Mathony H.-J. Universal logic design algorithm and its application to the synthe-
sis of two-level switching circuits // IEE Proceedings. 1989. Vol. 136, part E, № 3.
106. Massey J.L., Garcia O.N. Error correcting codes in computers arithmetic. Ad-
vances in information sciences / Ed. by // J.T. Tov. N.Y.: Plenum Press, 1971. Vol. 4.
107. Murgai R., Brayton R., Sangiovanni-Vincentelli A. Optimum functional decom-
position using encoding // Proc. of the 31th Dising Automation Conference (DAC). 1987.
108. Murgai R., Shenoy N., Brayton R., Sangiovanni-Vincentelli A. Improved logic
synthesis algorithm for table look up architectures // Proc. of the Int. Conf. On Computer-
Aided Design (ICCAD). 1991.
109. Patel D., Luba T. Dependence set and functional decomposition of Boolean
functions // International Journal of Electronics. 1993. Vol. 75, № 2.