ISSN 0021-3454 (print version)
ISSN 2500-0381 (online version)
Menu

8
Issue
vol 63 / August, 2020
Article

DOI 10.17586/0021-3454-2018-61-12-1025-1035

UDC 681.518.5:004.052.32

ORGANIZATION OF CONTROL OF COMBINATIONAL CIRCUITS BASED ON THE METHOD OF LOGICAL COMPLEMENT TO EQUILIBRIUM 1-OUT-OF-4 CODE

V. V. Sapozhnikov
PSTU; Professor, Department of Automation and Telemechanics on the Railways


V. V. Sapozhnikov
PSTU; Professor, Department of Automation and Telemechanics on the Railways


D. V. Ephanov
PSTU; Department of Automation and Telemechanics on the Railways


D. V. Pivovarov
Emperor Alexander I St. Petersburg State Transport University, De-partment of Automation and Remote Control on Railways; Assistant


Read the full article 

Abstract. A variant of the development of the method of logical complement by the equilibrium code is pro-posed. A method of organization of control of combinational logic devices based on the method of logical complement to the equilibrium 1-out-of-4 code is presented, which does not require additional determination of the values of one of the working functions of the object of diagnosis. The method employs a step-by-step algorithm to determine the control functions, considering the formation of at least once all test combinations for the elements of addition modulo two in the logical complement block and the tester. Uncertainties arising in the process of obtaining the values of control functions allow optimizing the structure of the control logic block and minimizing the complexity of the final device. Complexity of technical implementation of the end device is also affected by the choice of non-convertible function and the sequence of supplementing function definition. Replacing functions in the sequence of supplementing definitions allows to choose the best way to build a control scheme by the index of structural redundancy of the end device. The disadvantage of the considered method is the necessity to ensure the appearance of the required set of test combinations at the inputs of the logic device, which can be difficult with a small number of inputs.
Keywords: combinational logical device, control system, logical complement, equilibrium 1-out-of-4 code, structural redundancy optimization

References:
  1. Piestrak S.J. Design of Self-Testing Checkers for Unidirectional Error Detecting Codes, Wrocław, Oficyna Wydawnicza Politechniki Wrocłavskiej, 1995, 111 p.
  2. Nicolaidis M. Integration, the VLSI Journal, 1998, no. 1–2(26), pp. 197–209, DOI: 10.1016/S0167-9260(98)00028-5.
  3. Das D., Touba N.A. Journal of Electronic Testing: Theory and Applications, 1999, no. 1–2(15), pp. 145–155. DOI: 10.1023/A:1008344603814.
  4. Mitra S., McCluskey E.J. Proceedings of International Test Conference, 2000, USA, Atlantic City, NJ, 03–05 October 2000, pp. 985–994. DOI: 10.1109/TEST.2000.894311.
  5. Lala P.K. Self-Checking and Fault-Tolerant Digital Design, San Francisco, Morgan Kaufmann Pub-lishers, 2001, 216 p.
  6. Fujiwara E. Code Design for Dependable Systems: Theory and Practical Applications, John Wiley & Sons, 2006, 720 p.
  7. Sogomonyan E.S., Slabakov E.V. Samoproveryaemye ustroystva i otkazoustoychivye sistemy (The Self-Checked Devices and Failure-Safe Systems), Moscow, 1989, 208 р. (in Russ.)
  8. Sapozhnikov V.V., Sapozhnikov Vl.V. Samoproveryayemyye diskretnyye ustroystva (The Self-Checked discrete devices), St. Petersburg, 1992, 224 р. (in Russ.)
  9. Göessel M., Ocheretny V., Sogomonyan E., Marienfeld D. New Methods of Concurrent Checking: Edition 1, Dordrecht: Springer Science+Business Media B.V., 2008, 184 p.
  10. Nicolaidis M., Zorian Y. Journal of Electronic Testing: Theory and Applications, 1998, no. 12, pp. 7–20. DOI: 10.1023/A:1008244815697.
  11. Efanov D., Sapozhnikov V., Sapozhnikov Vl. Proc. of 15th IEEE East-West Design & Test Symposium (EWDTS`2017), Novi Sad, Serbia, September 29–October 2, 2017, pp. 365–371. DOI: 10.1109/EWDTS.2017.8110126.
  12. Sapozhnikov V.V., Sapozhnikov Vl.V., Dmitriyev A.V., Morozov A.V., Goessel M. Modelling and simulation in engineering, 2002, no. 6(24), pp. 52–66.
  13. Goessel M., Morozov A.V., Sapozhnikov V.V., Sapozhnikov Vl.V. Automation and Remote Control, 2005, no. 8(66), pp. 1336–1346.
  14. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V., Pivovarov D.V. Tomsk State University Journal. Control and Computer Science, 2017, no. 4, pp. 69–80. DOI: 10.17223/19988605/41/9. (in Russ.)
  15. Goessel M., Saposhnikov Vl., Saposhnikov V., Dmitriev A. Proc. of the 6th IEEE International On-line Testing Workshop, 3–5 July 2000, Palma de Mallorca, Spain, pp. 147–152.
  16. Gessel M., Morozov A.V., Sapozhnikov V.V., Sapozhnikov Vl.V. Autom. Remote Control, 2003, no. 1(64), pp. 153–161.
  17. Saposhnikov V.V., Saposhnikov Vl.V., Morozov A., Osadtchi G., Gossel M. Proc. of East-West Design & Test Workshop, Yalta, Ukraine, 2004, pp. 83–87.
  18. Das D.K., Roy S.S., Dmitiriev A., Morozov A., Gössel M. Proc. of the 10th Intern. Workshops on Boolean Problems, Freiberg, Germany, September, 2012, pp. 33–40.
  19. Sen S.K. National Conf. on Emerging trends and advances in Electrical Engineering and Renewable Energy (NCEEERE 2010), Sikkim Manipal Institute of Technology, Sikkim, 22–24 December, 2010.
  20. Sapozhnikov V., Sapozhnikov Vl., Efanov D. Proc. of 14th IEEE East-West Design & Test Symposium (EWDTS`2016), Yerevan, Armenia, 14–17 October, 2016, pp. 126–133. DOI: 10.1109/EWDTS.2016.7807677.
  21. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V. Modelling and simulation in engineering, 2016, no. 6(38), pp. 25–43. (in Russ.)
  22. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V., Pivovarov D.V. Modelling and simulation in engineering, 2017, no. 2(39), pp. 15–34. (in Russ.)
  23. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V. Control Sciences, 2017, no. 1, pp. 57–64. (in Russ.)
  24. Sapozhnikov V.V., Rabara V. Problems of Information Transmission, 1982, no. 3(18), pp. 62–73. (in Russ.)
  25. Aksеnova G.P. Automation and Remote Control, 1979, no. 9, pp. 126–135. (in Russ.)