The article describes the systematic code, that can be effectively used for organizing the concurrent error detection systems for combinational logic circuits. This systematic code belongs to the class of codes with summation of weighted data bits and has a simple rules of formation, that, respectively, provides a simple structure of encoding hardware. The above mentioned systematic code has the same number of check bits as a classic Berger code, however, it has a minimum total amount of undetectable errors in data vectors with set values of data and check vectors lengths. Importantly, the new sum code detects any double distortion in data vectors, which determines the prospects of its implementation for technical diagnostics problems. The article also compares the described systematic code with the classic code Berger. The article provides the results of tests with a set of MCNC Benchmarks reference combinational circuits for the organization of the concurrent error detection systems.
technical diagnostics, concurrent error detection systems, combinational circuit, code word, Berger code, weight-based sum code, data vector, error in data vector, structure redundancy
1. Parhomenko P. P. Osnovy tehnicheskoy diagnostiki (optimizaciya algoritmov diagnostirovaniya, apparaturnye sredstva) / P. P. Parhomenko, E. S. Sogomonyan. - M. : Energoatomizdat, 1981. - 320 s.
2. McCluskey E. J. Logic design principles : With emphasis on testable semicustom circuits / E. J. McCluskey. - New Jersey : Prentice hall PTR, 1986. - 549 p.
3. Mitra S. Which concurrent error detection scheme to shoose? / S. Mitra, E. J. McCluskey // Proceedings of International test conference. 2000. USA, Atlantic city, NJ, 03-05 October 2000. - Rp. 985-994.
4. Drozd A. V. Netradicionnyy vzglyad na rabochee diagnostirovanie vychislitel'nyh ustroystv / A. V. Drozd // Problemy upravleniya. - 2008. - № 2. - S. 48-56.
5. Sogomonyan E. S. Samoproveryaemye ustroystva i otkazoustoychivye sistemy / E. S. Sogomonyan, E. V. Slabakov. - M. : Radio i svyaz', 1989. - 208 s.
6. Sapozhnikov Val. V. Samoproveryaemye diskretnye ustroystva / Val. V. Sapozhnikov, Vl. V. Sapozhnikov. - SPb. : Energoatomizdat, 1992. - 224 s.
7. Nicolaidis M. On-line testing for VLSI - A compendium of approaches / M. Nicolaidis, Y. Zorian // Journal of electronic testing : theory and applications. - 1998. - № 12. - Rp. 7-20.
8. Fujiwara E. Code design for dependable systems : Theory and practical applications / E. Fujiwara. - New Jersey : John Wiley & Sons, 2006. - 720 p.
9. Lala P. K. Principles of modern digital design / P. K. Lala. - New Jersey : John Wiley & Sons, 2007. - 419 p.
10. Blyudov A. A. O kodah s summirovaniem edinichnyh razryadov v sistemah funkcional'nogo kontrolya / A. A. Blyudov, D. V. Efanov, Val. V. Sapozhnikov, Vl. V. Sapozhnikov // Avtomatika i telemehanika. - 2014. - № 8. - S. 131-145.
11. Aksenova G. P. Neobhodimye i dostatochnye usloviya postroeniya polnost'yu proveryaemyh shem svertki po modulyu dva / G. P. Aksenova // Avtomatika i telemehanika. - 1979. - № 9. - S. 126-135.
12. Ghosh S. Synthesis of low power CED circuits based on parity codes / S. Ghosh, S. Basu, N.A. Touba // Proceedings of 23rd IEEE VLSI test symposium (VTS’05). - 2005. - Rp. 315-320.
13. Busaba F. Y. Self-checking combinational circuit design for single and unidirectional multibit errors / F. Y. Busaba, P. K. Lala // Journal of electronic testing : Theory and applications. - 1994. - Vol. 5. - Issue 5. - Pp. 19-28.
14. Saposhnikov Val. V. A New design method for self-checking unidirectional combinational circuits / Val. V. Saposhnikov, A. Morosov, Vl. V. Saposhnikov, M. Göes- sel // Journal of electronic testing : Theory and applications. - 1998. - Vol. 12. - Issue 1-2. - Pp. 41-53.
15. Berger J. M. A note on error detecting codes for asymmetric channels / J. M. Berger // Information and control. - 1961. - Vol. 4. - Issue 1. - Rp. 68-73.
16. Lin D. J. Unidirectional error correcting/detecting codes / D. J. Lin // Ph. D. Thesis, Oregon state university. - July 2. - 1987. - 104 p.
17. Jha N. K. A t-unidirectional error-detecting systematic code / N. K. Jha, M. B. Vora // Computers & mathematics with application. - 1988. - Vol. 16. - Issue 9. - Pp. 705-714.
18. Sapozhnikov Val. V. Klassifikaciya oshibok v informacionnyh vektorah sistematicheskih kodov / Val. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov // Izvestiya vuzov. Priborostroenie. - 2015. - T. 58. - № 5. - S. 333-343.
19. Efanov D. V. O svoystvah koda s summirovaniem v shemah funkcional'nogo kontrolya / D. V. Efanov, Val. V. Sapozhnikov, Vl. V. Sapozhnikov // Avtomatika i telemehanika. - 2010. - № 6. - S. 155-162.
20. Berger J. M. A note on burst detecting sum codes / J. M. Berger // Information and control. - 1961. - Vol. 4. - Issue 2-3. - Pp. 297-299.
21. Dong H. Modified berger codes for detection of unidirectional errors / H. Dong // IEEE transactions on computers. - June 1984. - Vol. C-33. - Pp. 572-575.
22. Jha N. K. A systematic code for detecting t-unidirectional errors / N. K. Jha, M. B. Vora // Proceedings of International symposium «Fault-Tolerant Computers», Pittsburg, PA, June 1987. - Pp. 96-101.
23. Parhami B. New class of unidirectional error-detection codes / B. Parhami // Proceed- ings of IEEE International conference on computer design : VLSI in computers and processors, 14-16 October 1991 (ICCD ‘9), Cambridge, MA. - Pp. 574-577.
24. Piestrak S. J. Design of self-testing checkers for unidirectional error detecting codes / S. J. Piestrak. - Wrocław : Oficyna wydawnicza politechniki wrocłavskiej, 1995. - 111 p.
25. Das D. Weight-based codes and their application to concurrent error detection of multilevel circuits / D. Das, N.A. Touba // Proceedings of 17th IEEE test symposium, USA, California, 1999. - Pp. 370-376.
26. Blyudov A. A. Postroenie modificirovannogo koda Bergera s minimal'nym chislom neobnaruzhivaemyh oshibok informacionnyh razryadov / A. A. Blyudov, D. V. Efanov, Val. V. Sapozhnikov, Vl. V. Sapozhnikov // Elektronnoe modelirovanie. - 2012. - T. 34. - № 6. - S. 17-29.
27. Blyudov A. Properties of code with summation for logical circuit test organization / A. Blyudov, D. Efanov, Val. Sapozhnikov, Vl. Sapozhnikov // Proceedings of 10th IEEE east-west design & test symposium (EWDTS`2012), Kharkov, Ukraine, September 14-17, 2012. - Pp. 114-117.
28. Das D. Low cost concurrent error detection based on modulo weight-based codes / D. Das, N.A. Touba, M. Seuring, M. Gossel // Proceedings of IEEE 6th International on-line testing workshop (IOLTW), Spain, Palma de Mallorca, July 3-5, 2000. - Pp. 171-176.
29. Sapozhnikov Val. V. Optimal'nyy sistematicheskiy kod na osnove vzveshivaniya razryadov informacionnyh vektorov i summirovaniya bez perenosov dlya sistem funkcional'nogo kontrolya / Val. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov, V. V. Dmitriev, C. Huan // Izvestiya Peterburgskogo universiteta putey soobscheniya. - 2016. - № 1. - S. 75-84.
30. Sapozhnikov Val. Weighted sum code without carries - is an optimum code with detection of any double errors in data vectors / Val. Sapozhnikov, Vl. Sapozhnikov, D. Efanov, V. Dmitriev // Proceedings of 14th IEEE east-west design & test symposium (EWDTS`2016), Yerevan, Armenia, October 14-17, 2016. - Pp. 134-141.
31. Collection of digital design benchmarks. - URL : http://ddd.fit.cvut.cz/prj/Benchmarks.
32. Yang S. Logic synthesis and optimization benchmarks : User guide : Version 3.0 / S. Yang. - Microelectronics center of north carolina (MCNC), 1991. - 88 p.