An Approach to Unified Methodology of Combinational Switching Circuits

IEEE Transactions on Computers

Volumn C-26, Issue 8, 1977, Pages 745-756

  Cerny, Eduard ^a   Marin, Miguel A ^b  

^a Gina Cody School of Engineering and Computer Science   (Canada)

^b MCGILL UNIVERSITY   (Canada)

Author keywords

Boolean equations; characteristic functions; closed feedback loops; combinational behavior; combinational circuits; degenerate sequential circuits; realization and decomposition of functions

Indexed keywords

SWITCHING SYSTEMS;

LOGIC CIRCUITS;

EID: 0017523387     PISSN: 00189340     EISSN: None     Source Type: Journal    
DOI: 10.1109/TC.1977.1674912     Document Type: Article

References (30)

1. F. M. Brown, “Reduced solutions of Boolean equations,” IEEE Trans. Comput., vol. C-19, p. 976, Oct. 1970.
2. —, “Equational logic,” IEEE Trans. Comput., vol. C-23, p. 1228, Dec. 1974.
3. E. Cerny and M. A. Marin, “A computer algorithm for the synthesis of memoryless switching circuits,” IEEE Trans. Comput., vol. C-23, p. 455, May 1974.
4. E. Cerny, “An approach to unified methodology of combinational switching circuits,” Ph.D. dissertation, McGill University, Spring 1975.
5. —, “Application of a Boolean-equation based methodology to the detection of faults in combinational switching circuits,” Computer Repository R76-84, May 1976.
6. —, “Comments on ‘Equational logic’,” IEEE Trans. Comput., vol. C-25, Jan. 1976.
7. H. Y. Chang, E. Manning, and G. Metze, Fault Diagnosis of Digital Digital Systems. New York: Wiley-Interscience, 1970.
8. D. Dietmeyer, Logic Design of Digital Systems. Boston: Allyn and Bacon, 1970.
9. S. Even and A. R. Meyer, “Sequential Boolean equations,” IEEE Trans. Comput., vol. C-18, p. 230, Mar. 1969.
10. P. L. Hammer and S. Rudeanu, Boolean Methods in Operations Research. New York: Springer Verlag, 1968.
11. W. H. Kautz, “The necessity of closed circuit loops in minimal combinational circuits,” IEEE Trans. Comput., vol. C-19, p. 162, Feb. 1970.
12. G. J. Klir, Introduction to the Methodology of Switching Circuits. New York: Van Nostrand, 1972.
13. G. J. Klir and M. A. Marin, “New considerations in teaching switching theory,” IEEE Trans. Education, vol. E-12, p. 257, Dec. 1969.
14. G. J. Klir, “On the solution of Boolean and pseudo-Boolean relations,” IEEE Trans. Comput., vol. C-23, p. 1098, Oct. 1974.
15. M. A. Marin, “Investigation of the field of problems for the Boolean analyser,” Ph.D. dissertation, UCLA, Los Angeles, Rep. #68-28, 1968.
16. —, “Some new applications of the Boolean analyzer,” in PROC/Int. Symp. Design and Applications of Logic Systems (Brussels, Sept. 1969).
17. A. Mukhopadhyay, Ed., Recent Developments in Switching Theory. New York: Academic, 1971.
18. J. P. Roth et al., “A computer program for the synthesis of combinational switching circuits,” in Proc. AIEESymp. Switching Circuit Theory and Logical Design, 1961.
19. —, “Algebraic topological methods for the synthesis of switching systems in n variables,” The Institute of Advanced Studies, Princeton, ECP 56-02, Apr. 1956.
20. S. Rudeanu, Boolean Functions and Equations. Amsterdam, The Netherlands: North-Holland, 1974.
21. —, “An algebraic approach to Boolean equations,” IEEE Trans. Comput., vol. C-23, p. 206, Feb. 1974.
22. P. R. Schneider and D. L. Dietmeyer, “An algorithm for synthesis of multiple output combinational logic,” IEEE Trans. Comput., vol. C-17, p. 117, Feb. 1968.
23. V. Y. Shen and A. C. McKellar, “An algorithm for the disjunctive decomposition of switching functions,” IEEE Trans. Comput., vol. C-19, p. 237, Mar. 1970.
24. R. A. Short, “A theory of relations between sequential and combinational realizations of switching functions,” Stanford Electronic Labs., Menlo Park, CA, Tech. Rep. 098-1, 1966.
25. A. Svoboda, “An algorithm for solving Boolean equations,” IEEE Trans. Electron. Comput., vol. EC-12, p. 557, Oct. 1963.
26. —, “Boolean analyzer,” in Proc. IFIP Congr. (Edinburgh, Scotland, Aug. 1968), Booklet D, North Holland, 1968.
27. A. Thayse and A. Davio, “Boolean differential calculus and its application to switching theory,” IEEE Trans. Comput., vol. C-22, p. 409, Apr. 1973.
28. J. W. Ulrich, “A note on the solution of sequential Boolean equations,” IEEE Trans. Election Comput., vol. EC-16, Feb. 1967.
29. M. E. Ulug and B. A. Bowen, “A unified theory of the algebraic topological methods for the synthesis of switching systems,” IEEE Trans. Comput., vol. C-23, p. 255, Mar. 1974.
30. C. E. Shannon, “A symbolic analysis of relay and switching circuits,” Trans. AIEE, vol. 57, 1938.