In this article variants of organization of concurrent error detection systems for circuits with six, seven and eight outputs using the Boolean complement method based on «1-out-of-3», «1-out-of-4» and «2-out-of-4» constant-weight codes are considered. Because the length of used codes is less than the number of circuit outputs, they should be divided into groups and each group should be monitored separately. Experiments with MCNC control combinational circuits were carried out using special software. Circuits with six, seven and eight outputs were used. The outputs of circuits were divided into equal groups, each group being monitored by constant-weight code. During the experiments structural redundancies of concurrent error detection systems, constructed using the Boolean complement method based on different constant-weight codes, were obtained. These experiments indicated that «2-out-of-4» constant-weight code provides with the smallest structural redundancy in most cases. Also experiments indicated that the applied method provides with simpler structures than the method of duplication in most cases.
sistema funkcional'nogo kontrolya, strukturnaya izbytochnost', logicheskoe dopolnenie, ravnovesnyy kod
1. Sogomonyan E. S. Samoproveryaemye ustroystva i otkazoustoychivye sistemy / E. S. Sogomonyan, E. V. Slabakov. - M. : Radio i svyaz', 1989. - 208 s.
2. Goessel M. Error Detection Circuits / M. Goessel, S. Graf. - L. : McGraw-Hill, 1994. - 261 p.
3. Nicolaidis M. On-Line Testing for VLSI - A Compendium of Approaches / M. Nicolaidis, Y. Zorian // Journal of Electronic Testing : Theory and Applications. - 1998. - № 12. - Pp. 7-20.
4. Sapozhnikov Val. V. Primenenie kodov s summirovaniem pri sinteze sistem zheleznodorozhnoy avtomatiki i telemehaniki na programmiruemyh logicheskih integral'nyh shemah / Val. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov // Avtomatika na transporte. - 2015. - T. 1. - № 1. - S. 84-107.
5. Sogomonyan E. S. Otkazoustoychivye izbytochnye struktury / E. S. Sogomonyan // Avtomatika i telemehanika. - 1986. - № 10. - S. 135-143.
6. Gessel' M. Issledovanie kombinacionnyh samoproveryaemyh ustroystv s nezavisimymi i monotonno nezavisimymi vyhodami / M. Gessel', A. A. Morozov, Val. V. Sapozhnikov, Vl. V. Sapozhnikov // Avtomatika i telemehanika. - 1997. - № 2. - S. 180-193.
7. Self-Dual Duplication for Error Detection / Vl. V. Saposhnikov, Val. V. Saposhnikov, A. Dmitriev, M. Goessel // Proceedings of 7th Asian Test Symposium, Singapore, 1998. - Pp. 296-300.
8. Borecký J. Parity Driven Reconfigurable Duplex System / J. Borecký, M. Kohlík, H. Kubátová // Microprocessors and Microsystems. - 2017. - Vol. 52. - Pp. 251-260.
9. Aksenova G. P. O funkcional'nom diagnostirovanii diskretnyh ustroystv v usloviyah raboty s netochnymi dannymi / G. P. Aksenova // Problemy upravleniya. - 2008. - № 5. - S. 62-66.
10. Sapozhnikov Val. V. Predel'nye svoystva koda s summirovaniem / Val. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov // Izvestiya Peterburgskogo universiteta putey soobscheniya. - 2010. - № 3. - S. 290-299.
11. Sapozhnikov Val. V. Vzveshennye kody s summirovaniem dlya organizacii kontrolya logicheskih ustroystv / Val. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov // Elektronnoe modelirovanie. - 2014. - T. 36. - № 1. - S. 59-80.
12. Efanov D. V. Primenenie modul'nyh kodov s summirovaniem dlya postroeniya sistem funkcional'nogo kontrolya kombinacionnyh logicheskih shem / D. V. Efanov, Val. V. Sapozhnikov, Vl. V. Sapozhnikov // Avtomatika i telemehanika. - 2015. - № 10. - S. 152-169.
13. Novye struktury sistem funkcional'nogo kontrolya logicheskih shem / Val. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov, V. V. Dmitriev // Avtomatika i telemehanika. - 2017. - № 2. - S. 127-143.
14. Goessel M. A New Method for Concurrent Checking by Use of a 1-out-of-4 Code / M. Goessel, Vl. Saposhnikov, Val. Saposhnikov, A. Dmitriev // Proceedings of the 6th IEEE International On-line Testing Workshop, 3-5 July 2000, Palma de Mallorca, Spain. - Pp. 147-152.
15. Sapozhnikov Val. V. Organizaciya funkcional'nogo kontrolya kombinacionnyh shem metodom logicheskogo dopolneniya / Val. V. Sapozhnikov, Vl. V. Sapozhnikov, A. V. Dmitriev, A. V. Morozov, M. Gessel' // Elektronnoe modelirovanie. - 2002. - T. 24. - № 6. - S. 51-66.
16. Gessel' M. Logicheskoe dopolnenie - novyy metod kontrolya kombinacionnyh shem / M. Gessel', A. V. Morozov, Val. V. Sapozhnikov, Vl. V. Sapozhnikov // Avtomatika i telemehanika. - 2003. - № 1. - S. 167-176.
17. Sapozhnikov Val. V. Kontrol' kombinacionnyh shem metodom logicheskogo dopolneniya / Val. V. Sapozhnikov, Vl. V. Sapozhnikov, G. V. Osadchiy // Konstruirovanie, sertifikaciya i tehnicheskaya ekspluataciya ustroystv i sistem zheleznodorozhnoy avtomatiki i telemehaniki : sb. nauch. tr. - SPb. : Peterburgskiy gos. un-t putey soobscheniya, 2003. - S. 3-8.
18. Osadchiy G. V. Razrabotka metoda logicheskogo dopolneniya dlya diagnostirovaniya i monitoringa ustroystv zheleznodorozhnoy avtomatiki / G. V. Osadchiy //Izvestiya Peterburgskogo universiteta putey soobscheniya. - 2004. - № 1. - S. 84-89.
19. Osadchiy G. V. Povyshenie effektivnosti ispol'zovaniya metoda logicheskogo dopolneniya dlya kontrolya kombinacionnyh shem / G. V. Osadchiy // Razrabotka i ekspluataciya novyh ustroystv i sistem zheleznodorozhnoy avtomatiki i telemehaniki : sb. nauch. tr. - SPb. : Peterburgskiy gos. un-t putey soobscheniya, 2004. - S. 32-35.
20. Saposhnikov Val. V. Design of Totally Self-Checking Combinational Circuits by Use of Complementary Circuits / Val. V. Saposhnikov, Vl. V. Saposhnikov, A. Morozov, G. Osadtchi, M. Gossel // Proceedings of East-West Design & Test Workshop, Yalta, Ukraine, 2004. - Pp. 83-87.
21. Göessel M. New Methods of Concurrent Checking: Edition 1 / M. Göessel, V. Ocheret- ny, E. Sogomonyan, D. Marienfeld. - Dordrecht : Springer Science+Business Me- dia B. V., 2008. - 184 p.
22. Sen S. K. A Self-Checking Circuit for Concurrent Checking by 1-out-of-4 code with Design Optimization using Constraint Don’t Cares / S. K. Sen // National Conference on Emerging trends and advances in Electrical Engineering and Renewable Energy (NCEEERE 2010), Sikkim Manipal Institute of Technology, Sikkim, held during 22-24 December, 2010.
23. Das D. K. Constraint Don’t Cares for Optimizing Designs for Concurrent Checking by 1-out-of-3 Codes / D. K. Das, S. S. Roy, A. Dmitiriev, A. Morozov, M. Gössel // Proceedings of the 10th International Workshops on Boolean Problems, Freiberg, Germany, September, 2012. - Pp. 33-40.
24. Sapozhnikov Val. Combinational Circuit Check by Boolean Complement Method Based on «1-out-of-5» Code / Val. Sapozhnikov, Vl. Sapozhnikov, D. Efanov, A. Bliudov, D. Pivovarov // Proceedings of 15th IEEE East-West Design & Test Symposium (EWDTS`2017), Novi Sad, Serbia, September 29 - October 2, 2017. - Pp. 89-94.
25. Saposhnikov Val. V. Concurrent Checking by Use of Complementary Circuits for «1-out-of-3» Codes / Val. V. Saposhnikov, A. Morozov, Vl. V. Saposhnikov, M. Goessel // 5th International Workshop IEEE DDECS 2002, Brno, Czech Republic, April 17-19, 2002.
26. Sapozhnikov Val. V. O sinteze polnost'yu samoproveryaemyh kombinacionnyh shem / Val. V. Sapozhnikov, Vl. V. Sapozhnikov // Izvestiya Peterburgskogo universiteta putey soobscheniya. - 2006. - № 1. - S. 97-110.
27. Efanov D. Methods of Organization of Totally Self-Checking Concurrent Error Detection System on the Basis of Constant-Weight «1-out-of-3»-Code / D. Efanov, Val. Sapozhnikov, Vl. Sapozhnikov // Proceedings of 14th IEEE East-West Design & Test Symposium (EWDTS`2016), Yerevan, Armenia, October 14-17, 2016. - Pp. 117-125.
28. Sapozhnikov Val. V. Postroenie polnost'yu samoproveryaemyh struktur sistem funkcional'nogo kontrolya s ispol'zovaniem ravnovesnogo koda «1 iz 3» / Val. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov // Elektronnoe modelirovanie. - 2016. - T. 38. - № 6. - S. 25-43.
29. Gessel' M. Kontrol' kombinacionnyh shem metodom logicheskogo dopolneniya / M. Gessel', A. V. Morozov, Val. V. Sapozhnikov, Vl. V. Sapozhnikov // Avtomatika i telemehanika. - 2005. - № 8. - S. 161-172.
30. Pivovarov D. V. Osobennosti organizacii polnost'yu samoproveryaemyh struktur na osnove ravnovesnogo koda «1 iz 4» / D. V. Pivovarov // Materialy yubileynoy XV Sankt-Peterburgskoy Mezhdunarodnoy konferenciya «Regional'naya informatika - 2016», Sankt-Peterburg, 26-28 oktyabrya 2016 g. - SPb. : SPOISU, 2016. - S. 307-308.
31. Sapozhnikov Val. V. Metod logicheskogo dopolneniya na osnove ravnovesnogo koda «1 iz 4» dlya postroeniya polnost'yu samoproveryaemyh struktur sistem funkcional'nogo kontrolya / Val. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov, D. V. Pivovarov // Elektronnoe modelirovanie. - 2017. - T. 39. - № 2. - S. 15-34.
32. Sapozhnikov Val. V. Sposob postroeniya sistemy funkcional'nogo kontrolya na osnove logicheskogo dopolneniya po ravnovesnomu kodu «1 iz 5» / Val. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov, D. V. Pivovarov // Radioelektronika i informatika. - 2017. - № 3. - S. 28-35.
33. Sapozhnikov Val. V. Primenenie ravnovesnogo koda «1 iz 5» dlya organizacii kontrolya kombinacionnyh shem / Val. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov, D. V. Pivovarov // Izvestiya Peterburgskogo universiteta putey soobscheniya. - 2017. - T. 14. - № 2. - S. 307-319.
34. Efanov D. V. Primenenie ravnovesnogo koda «2 iz 4» pri organizacii sistem funkcional'nogo kontrolya / D. V. Efanov // Izvestiya Peterburgskogo universiteta putey soobscheniya. - 2016. - T. 13. - № 2. - S. 269-278.
35. Sapozhnikov Val. V. Metod funkcional'nogo kontrolya kombinacionnyh logicheskih ustroystv na osnove koda «2 iz 4» / Val. V. Sapozhnikov, Vl. V. Sapozhni- kov, D. V. Efanov // Izvestiya vuzov. Priborostroenie. - 2016. - T. 59. - № 7. - S. 524-533.
36. Sapozhnikov Val. Concurrent Error Detection of Combinational Circuits by the Method of Boolean Complement on the Base of «2-out-of-4» Code / Val. Sapozhnikov, Vl. Sapozhnikov, D. Efanov // Proceedings of 14th IEEE East-West Design & Test Symposium (EWDTS`2016), Yerevan, Armenia, October 14-17, 2016. - Pp. 126-133.
37. Sapozhnikov Val. V. Postroenie samoproveryaemyh struktur sistem funkcional'nogo kontrolya na osnove ravnovesnogo koda «2 iz 4» / Val. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov // Problemy upravleniya. - 2017. - № 1. - S. 57-64.
38. Sapozhnikov Val. V. Sposob postroeniya polnost'yu samoproveryaemoy sistemy funkcional'nogo kontrolya na osnove ravnovesnogo koda «2 iz 4» / Val. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov // Informatika i sistemy upravleniya. - 2017. - № 2. - S. 44-56.
39. Sapozhnikov Val. V. Organizaciya sistem funkcional'nogo kontrolya s obespecheniem polnoy samoproveryaemosti struktury na osnove moduley szhatiya parafaznyh signalov / Val. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov // Izvestiya vuzov. Priborostroenie. - 2017. - T. 60. - № 5. - S. 404-411.
40. Sapozhnikov Val. V. Sintez sistem funkcional'nogo kontrolya mnogovyhodnyh kombinacionnyh shem na osnove metoda logicheskogo dopolneniya / Val. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov, D. V. Pivovarov // Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitel'naya tehnika i informatika. - 2017. - № 4. - S. 68-80.
41. SIS : A System for Sequential Circuit Synthesis / E. M. Sentovich, K. J. Singh, L. La- vagno, C. Moon, R. Murgai, A. Saldanha, H. Savoj, P. R. Stephan, R. K. Brayton, A. Sangiovanni-Vincentelli // Electronics Research Laboratory, Department of Elec- trical Engineering and Computer Science, University of California, Berkeley, 4 May 1992. - 45 p.
