The article analyzes the characteristics of Hamming codes for error detection in data bits of code words in comparison with the characteristics of Berger codes, that is important for technical diagnostics tasks for automation and computing engineering systems test. The article covers the particularities of the application of the codes of interest for building the systems of concurrent error detection of arithmetic-logic devices. The article also describes the modification s of Hamming codes, associated with a decrease of the number of check bits. This directly affects the complexity of the concurrent error detection systems, but reduces the number of detectable errors in its operating outputs.
concurrent error detection (CED) system, operational outputs, Hamming code, Berger code, Hamming code modi fi cation, modular code, data vectors, error in data vectors
1. Slabakov E. V. Samoproveryaemye vychislitel'nye ustroystva i sistemy (ob- zor) / E. V. Slabakov, E. S. Sogomonyan // Avtomatika i telemehanika. - 1981. - № 11. - S. 147-167.
2. Sogomonyan E. S. Samoproveryaemye ustroystva i otkazoustoychivye sistemy / E. S. Sogomonyan, E. V. Slabakov. - M. : Radio i svyaz', 1989. - 208 s.
3. Touba N.A. Logic Synthesis Techniques for Reduced Area Implementation of Multilevel Circuits with Concurrent Error Detection / N.A. Touba, E. J. McCluskey // Proceedings of the 1994 IEEE / ACM International Conference on Computer-aided Design. San Jose, California, USA, November 6-10, 1994. - Pp. 651-654.
4. Abramovici M. Digital System Testing and Testable Design / M. Abramovici, M.A. Bre- uer, A. D. Friedman. Comp. Sc. Press, 1998. - 652 p.
5. Matrosova A.Yu. Self-Checking Synchronous FSM Network Design with Low Over- head / A.Yu. Matrosova, I. Levin, S. A. Ostanin // VLSI Design. - 2000. - Vol. 11. - Issue 1. - Pp. 47-58.
6. 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.
7. Matrosova A. Survivable Self-Checking Sequential Circuits / A. Matrosova, I. Levin, S. Ostanin // Proc. of 2001 IEEE International Symposium on Defect and Fault Tole- rance in VLSI Systems (DFT 2001), Oct. 24-26. San Francisco, CA, 2001. - Pp. 395-402.
8. Rabochee diagnostirovanie bezopasnyh informacionno-upravlyayuschih sistem / A. V. Drozd, V. S. Harchenko, S. G. Antoschuk [i dr.] ; pod red. A. V. Drozda i V. S. Harchenko. - Har'kov : Nacional'nyy aerokosmicheskiy universitet im. N. E. Zhukovskogo (HAI), 2012. - 614 s.
9. Nicolaidis M. On-Line Testing for VLSI - A Compendium of Approaches / M. Nicolaidis, Y. Zorian // J. Electron. Testing: Theory Appl. - 1998. - Vol. 12. - Issue 1-2 (February/ April). - Pp. 7-20.
10. Sapozhnikov Val. V. Samoproveryaemye diskretnye ustroystva / Val. V. Sapozhnikov, Vl. V. Sapozhnikov. - SPb. : Energoatomizdat, 1992. - 224 s.
11. Piestrak S. J. Design of Self-Testing Checkers for Unidirectional Error Detecting Co- des / S. J. Piestrak. - Wrocław : Oficyna Wydawnicza Politechniki Wrocłavskiej, 1995. - 111 p.
12. Hamming R. W. Error Detecting and Correcting Codes / R. W. Hamming // Bell System Technical Journal. - 1950. - 29 (2). - Pp. 147-160.
13. Hamming R. W. Coding and Information Theory : 2 Sub Edition / R. W. Hamming. - N.-Y. : Prentice-Hall, 1986. - 272 p.
14. Efanov D. V. O svoystvah koda s summirovaniem v shemah funkcional'nogo kontrolya / D. V. Efanov, Val. V. Sapozhnikov, Vl. V. Sapozhnikov // Avtomatika i tele- mehanika. - 2010. - № 6. - S. 155-162.
15. Berger J. M. A Note on Error Detecting Codes for Asymmetric Channels / J. M. Berger // Information and Control. - 1961. - Vol. 4. - № 1. - Pp. 68-73.
16. Sogomonyan E. S. Postroenie samoproveryaemyh shem vstroennogo kontrolya dlya samoproveryaemyh ustroystv / E. S. Sogomonyan // Avtomatika i telemehanika. - 1974. - № 2. - C. 121-153.
17. Lo J.-C. An SFS Berger Check Prediction ALU and Its Application to Self-checking Processor Designs / J.-C. Lo, S. Thanawastien, M. Nicolaidis // Computer-Aided Design of Integrated Circuits and Systems. - 1992. - Vol. 11. - Issue 4. - Pp. 525-540.
18. Goessel M. Error Detection Circuits / M. Goessel, S. Graf. - L. : McGraw-Hill, 1994. - 261 p.
19. Pierce D. Efficient Self-Checking Checkers for Berger Codes / D. Pierce, P. K. Lala // Proceedings of 1st IEEE Int. On-Line Testing Workshop, 1995. - Pp. 238-242.
20. Gorshe S. S., Bose B. A Self-Checking ALU Design with Efficient Codes / S. S. Gorshe, B. Bose // Proceedings of 14th VLSI Test Symposium, Princeton, NJ, USA, 1996. - Pp. 157-161.
21. Lala P. K. Self-checking and Fault-tolerant Digital Design / P. K. Lala. - San Francisco : Morgan Kaufmann Publishers, 2001. - 216 p.
22. Sapozhnikov Val. V. Samodvoystvennye diskretnye ustroystva / Val. V. Sapozhnikov, Vl. V. Sapozhnikov, M. Gessel'. - SPb. : Energoatomizdat, Sankt-Peterburgskoe otdelenie, 2001. - 331 s.
23. Efanov D. V. Predel'nye svoystva koda Hemminga v shemah funkcional'nogo diagnostirovaniya / D. V. Efanov // Informatika i sistemy upravleniya. - 2011. - № 3. - S. 70-79.
24. Efanov D. V. Ob organizacii shem funkcional'nogo diagnostirovaniya na osnove svoystv kodov Hemminga / D. V. Efanov // Intellektual'nye sistemy na transporte : cb. materialov II MNPK «IntellektTrans-2012». - SPb., 2012. - S. 217-226.
25. Efanov D. V. Kody Hemminga i ih obnaruzhivayuschie sposobnosti v shemah funkcional'nogo kontrolya / D. V. Efanov, A. A. Blyudov // Informatika i sistemy upravleniya. - 2012. - № 2. - S. 100-111.
26. Sapozhnikov Val. V. Primenenie kodov Bergera i Hemminga v shemah funkcional'nogo kontrolya / Val. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov, A. A. Blyudov // Izvestiya Peterburgskogo universiteta putey soobscheniya. - 2013. - № 2. - S. 168-182.
27. Sapozhnikov Val. Analysis of Error-Detection Possibilities of CED Circuits Based on Hamming and Berger Codes / Val. Sapozhnikov, Vl. Sapozhnikov, D. Efanov, A. Blyu- dov // Proceedings of 11th IEEE East-West Design & Test Symposium (EWDTS`2013), Rostov-on-Don, Russia, September 27-30, 2013. - Pp. 200-207.
28. Sapozhnikov Val. V. Klassicheskie i vzveshennye kody Bergera v sistemah funkcional'nogo kontrolya / Val. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov // Razvitie elementnoy bazy i sovershenstvovanie metodov postroeniya ustroystv zheleznodorozhnoy avtomatiki i telemehaniki : sb. nauch. tr. ; pod. red. Vl. V. Sapozhnikova. - SPb. : FGBOU VPO PGUPS, 2014. - S. 81-88.
29. 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.
30. Blyudov A. A. Postroenie modificirovannogo koda Bergera s minimal'nym chislom neobnaruzhivaemyh oshibok informacionnyh razryadov / A. A. Blyudov, D. V. Efa- nov, Val. V. Sapozhnikov, Vl. V. Sapozhnikov // Elektronnoe modelirovanie. - 2012. - T. 34. - № 6. - S. 17-29.
31. Sapozhnikov Val. V. O sposobah postroeniya kodov s summirovaniem s minimal'nym obschim chislom neobnaruzhivaemyh iskazheniy v informacionnyh vekto- rah / Val. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov, D. A. Nikitin // Izvestiya Peterburgskogo universiteta putey soobscheniya. - 2014. - № 1. - S. 82-91.
32. Sapozhnikov Val. V. Predel'nye svoystva koda s summirovaniem / Val. V. Sapozhniv, Vl. V. Sapozhnikov, D. V. Efanov // Izvestiya Peterburgskogo universiteta putey soobscheniya. - 2010. - № 3. - S. 290-299.
33. Blyudov A. A. Kody s summirovaniem dlya organizacii kontrolya kombinacionnyh shem / A. A. Blyudov, D. V. Efanov, Val. V. Sapozhnikov, Vl. V. Sapozhnikov // Avtomatika i telemehanika. - 2013. - № 6. - S. 153-164.
34. 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.
35. Morosow A. Self-Checking Combinational Circuits with Unidirectionally Independent Outputs / A. Morosow, Val. V. Sapozhnikov, Vl. V. Sapozhnikov, M. Goessel // VLSI Design. - 1998. - Vol. 5. - Issue 4. - Pp. 333-345.
36. Bose B. Systematic Unidirectional Error-Detection Codes / B. Bose, D. J. Lin // Pro- ceedings of IEEE Trans. Comput. - 1985. - Vol. C-34. - November. - Pp. 1026-1032.
37. Jha N. K. Totally Self-Checking Checker Designs for Bose-Lin, Bose and Blaum Co- des / N. K. Jha // IEEE Trans. Computer-Aided Design. - 1991. - Vol. CAD-10, February. - Pp. 136-143.
38. Das D. Synthesis of Circuits with Low-Cost Concurrent Error Detection Based on Bose-Lin Codes / D. Das, N. A. Touba // Journal of Electronic Testing: Theory and Applications. - 1999. - Vol. 15. - Issue 1-2. - Pp. 145-155.
39. Efanov D. On the Problem of Selection of Code with Summation for Combinational Circuit Test Organization / D. Efanov, Val. Sapozhnikov, Vl. Sapozhnikov, A. Blyudov // Proceedings of 11th IEEE East-West Design & Test Symposium (EWDTS`2013), Rostov-on-Don, Russia, September 27-30, 2013. - Pp. 261-266.
40. Sistemy upravleniya dvizheniem poezdov na peregonah : uchebnik dlya vuzov zh.-d. transporta : v 3 ch. Ch. 2 / V. M. Lisenkov, P. F. Bestem'yanov, V. B. Leushin, A. V. Lisenkov, A. E. Van'shin ; pod red. V. M. Lisenkova. - M. : GOU «Uchebno-metodicheskiy centr po obrazovaniyu na zheleznodorozhnom transporte, 2009. - 324 s.
41. Benchmarks : LGSynth89. - URL : http://www.cbl.ncsu.edu:16080/benchmarks/LG Synth89/mlexamples.
42. Sentovich E. M. SIS : A System for Sequential Circuit Synthesis / E. M. Sentovich, K. J. Singh, L. Lavagno, C. Moon, R. Murgai, A. Saldanha, H. Savoj, P. R. Stephan, R. K. Brayton, A. Sangiovanni-Vincentelli // Electronics Research Laboratory, Department of Electrical Engineering and Computer Science. - University of California, Berkeley. - 4 May 1992. - 45 p.
43. Collection of Digital Design Benchmarks. - URL : http://ddd.fit.cvut.cz/prj/Bench marks.
44. Matrosova A. Yu. Sintez sinhronnyh posledovatel'nostnyh ustroystv, ustoychivyh k kratkovremennym i peremezhayuschimsya neispravnostyam / A. Yu. Matrosova, V. V. Andreeva, E. A. Nikolaeva // Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitel'naya tehnika i informatika. - 2008. - № 3. - S. 99-109.
45. Efanov D. V. Metod kodirovaniya sostoyaniy diagnostiruemyh ob'ektov / D. V. Efanov // Izvestiya Peterburgskogo universiteta putey soobscheniya. - 2010. - № 2. - S. 74-85.
46. Ubar R. Design and Test Technology for Dependable Systems-on-Chip (Premier Reference Source) / R. Ubar, J. Raik, H.-T. Vierhaus. - Information Science Reference, Hershey. - N.-Y. : IGI Global, 2011. - 578 p.
47. Efanov D. V. Povyshenie nadezhnosti datchikov kontrolya polozheniya zheleznodorozhnyh strelok / D. V. Efanov, A. A. Blyudov // Izvestiya Peterburgskogo universiteta putey soobscheniya. - 2014. - № 3. - S. 69-77.
48. 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. - № 1. - S. 84-107.
49. Efanov D. V. Nekotorye aspekty razvitiya sistem funkcional'nogo kontrolya ustroystv zheleznodorozhnoy avtomatiki i telemehaniki / D. V. Efanov // Transport Urala. - 2015. - № 1. - S. 35-40.
50. 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.
