Experimental studies of one-bit and one weighted bit sum codes within concurrent error detection systems | Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitelnaja tehnika i informatika – Tomsk State University Journal of Control and Computer Science. 2018. № 43. DOI: 10.17223/19988605/43/10

Experimental studies of one-bit and one weighted bit sum codes within concurrent error detection systems

In concurrent error detection (CED) system tested logic circuit F(x) with m outputs are equipped with special check circuit, that allows indirectly to determine its structure faults by the results of analysis of calculated function values. There are reference logic block G(x) and totally self-checking checker within the structure of check circuit. Block G(x) calculates k values of reference functions, and checker registers the conformance of operational and reference functions values during the CED system operation. In general, CED system bases on pre-selected code with small redundancy, focused on error detection in data vectors. Typically the sum codes, or (m,k)-codes (with m and k - lengths of data and check vectors of the code) are used. One of the promising modifications is building the (m,k)-code, where single weight factors are assigned to m-1 bit of data vector, and to one of them - the weight factor w,>2. The author refers to them as WS(m,k,wi)-code. This paper highlights the results of using these codes within CED systems of reference combinational logic circuits. This article provides the results of experimental studies of WS(m,k,wi)-code within CED systems with the set of reference combinational circuits LGSynth'89. It demonstrates the analysis of features of this class of codes by error detection at the outputs of tested units, as well as the assessment of weighted bit position weight factor value influences on the performances of CED system equipment redundancy. From the error detection performance perspective at the outputs of tested circuits the value of weight factor wi can be selected from the set wi е [2;3;...;m] (characteristics of codes with wi > m are unchanged). Thus, one bit can be weighted m - 1 number of ways, that during the weighting one by one each of the bits will give the following number of codes: NWS(m,k,w) =(m - l)m = m2 - m. Therefore, taking into account the famous Berger code, we get that the circuit with m outputs is possible to control by using this number of sum codes with the different error detection performances: N(m,k) = m - m + 1 The article also refines the well-known characteristics of weight-based sum codes in the case of forming the nonregular number of data vectors at the outputs of real logic circuits. The key characteristics among others of WS(m,k,wi)-codes, registration of which is reasonable during the synthesis of CED systems of real combinational circuits, are the following: I. WS(m,k,wi)-codes, regardless of weighted bit in data vector and the weight factor value, detect any unidirectional errors in data vectors. 2. With the certain value of weight factor, regardless of weighted bit in data vector, WS(m,k,wi)-codes detect all asymmetrical errors in data vectors (this characteristic provided for sure when wi>m, however for real circuits the exclusion of asymmetrical errors from the undetectable ones can be achieved also under the lower values of wi). 3. When weight factor w,>2 the minimum number of undetectable symmetrical errors are achieved for the given weighted bit of data vector, and for the different weighted bits this minimum number is different. The author obtained the following basic experimental results. Since codes under consideration detect any unidirectional errors, it is reasonable to make its comparison based on its ability to detect non-unidirectional distortions. Berger codes do not detect the significant part of non-unidirectional errors: for 7 combinational circuits this value is 100%, and the average value for the sample - 73.667%. WS(m,k,wi)-codes have improved characteristics for error detection: for 8 combinational circuits any non-unidirectional errors were detected, and at average - the fraction of undetectable errors was decreased in comparison with Berger codes to 10.311%. For about all combinational circuits the doubled number of errors at the outputs was obtained, in comparison with Berger codes; the average is 20.353% (5 times increasing the number of detectable distortions). The results obtained provide good prospects for implementation of WS(m,k,w,)-codes within technical diagnostics problem solving, and, first of all, for CED systems organization. The article offers an algorithm of sum code selection considering the maximum error detection at the outputs of tested unit and the possibility of decreasing the equipment redundancy of CED system for the specific weighted bit. Using of WS(m,k,w,)-codes for CED systems synthesis allows to increase the number of ways for its technical implementation and to provide the systems structure, that will meet pre-determined requirements for error detection and equipment redundancy.

Download file
Counter downloads: 190

Keywords

система функционального контроля, код с суммированием, код Бергера, код с суммированием единичных и одного взвешенного разрядов, контрольная комбинационная схема, обнаружение ошибок, структурная избыточность, concurrent error-detection system, combinational circuit, Berger code, weight-based code, one weighted bit

Authors

NameOrganizationE-mail
Efanov Dmitry V.Emperor Alexander I St. Petersburg State Transport UniversityTrES-4b@yandex.ru
Всего: 1

References

Das D., Touba N.A. Synthesis of Circuits with Low-Cost Concurrent Error Detection Based on Bose-Lin Codes // Journal of Electronic Testing: Theory and Applications. 1999. V. 15, is. 1-2. P. 145-155.
Ефанов Д.В., Сапожников В.В., Сапожников Вл.В. О свойствах кода с суммированием в схемах функционального контроля // Автоматика и телемеханика. 2010. № 6. С. 155-162.
Jha N.K., Vora M.B. A t-Unidirectional Errors-Detecting Systematic Code // Computers & Mathematics with Applications. 1988. Vol. 16, No. 9. P. 705-714.
Lala P.K. Self-Checking and Fault-Tolerant Digital Design. San Francisco : Morgan Kaufmann Publishers, 2001. 216 p.
Berger J.M. A Note on Error Detection Codes for Asymmetric Channels // Information and Control. 1961. Vol. 4, is. 1. P. 68-73.
Piestrak S.J. Design of Self-Testing Checkers for Unidirectional Error Detecting Codes. Wroclaw : Oficyna Wydawnicza Politechniki Wroclavskiej, 1995. 111 p.
Matrosova A., Levin I., Ostanin S.A. Self-Checking Synchronous FSM Network Design with Low Overhead // VLSI Design. 2000. V. 11, is. 1. P. 47-58.
Fujiwara E. Code Design for Dependable Systems: Theory and Practical Applications. John Wiley & Sons, 2006. 720 p.
Das D., Touba N.A. Weight-Based Codes and Their Application to Concurrent Error Detection of Multilevel Circuits // Proceedings of the 17th IEEE VLSI Test Symposium. USA. CA. Dana Point. April 25-29. 1999. P. 370-376.
McCluskey E.J. Logic Design Principles: With Emphasis on Testable Semicustom Circuits. Upper Saddle River, NJ : Prentice Hall PTR, 1986. 549 p.
Согомонян Е.С., Слабаков Е.В. Самопроверяемые устройства и отказоустойчивые системы. М. : Радио и связь, 1989. 208 с.
Mitra S., McCluskey E.J. Which Concurrent Error Detection Scheme to ^oose? // Proceedings of International Test Conference. 03-05 October 2000. Atlantic City, NJ, 2000. P. 985-994.
Nicolaidis M., Zorian Y. On-Line Testing for VLSI - а Compendium of Approaches // Journal of Electronic Testing: Theory and Applications. 1998. №12. P. 7-20.
Das D., Touba N.A., Seuring M., Gossel M. Low Cost Concurrent Error Detection Based on Modulo Weight-Based Codes // Proceedings of IEEE 6th International On-Line Testing Workshop (IOLTW), Spain, Palma de Mallorca, July 3-5, 2000. P. 171-176.
Блюдов А.А., Ефанов Д.В., Сапожников В.В., Сапожников Вл.В. О кодах с суммированием единичных разрядов в системах функционального контроля // Автоматика и телемеханика. 2014. № 8. С. 131-145.
Sapozhnikov V., Sapozhnikov Vl., Efanov D., Nikitin D. Combinational Circuits Checking on the Base of Sum Codes with One Weighted Data Bit // Proceedings of 12th IEEE East-West Design & Test Symposium (EWDTS'2014), Kyev, Ukraine, September 26-29, 2014. P. 126-136.
Сапожников В.В., Сапожников Вл.В., Ефанов Д.В., Никитин Д.А. Исследование свойств кодов с суммированием с одним взвешенным информационным разрядом в системах функционального контроля // Электронное моделирование. 2015. Т. 37, №1. С. 25-48.
Сапожников В.В., Сапожников Вл.В., Ефанов Д.В., Никитин Д.А. Метод построения кода Бергера с повышенной эффективностью обнаружения ошибок в информационных разрядах // Электронное моделирование. 2013. Т. 35, № 4. С. 21-34.
Сапожников В.В., Сапожников Вл.В., Ефанов Д.В. Построение кодов с суммированием с наименьшим количеством необнаруживаемых симметричных ошибок в информационных векторах // Радиоэлектроника и информатика. 2014. № 4. С. 46-55.
Ефанов Д.В. Анализ способов построения кодов с суммированием с улучшенными характеристиками обнаружения симметричных ошибок в информационных векторах // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2015. № 4. С. 69-81.
Сапожников В.В., Сапожников Вл.В., Ефанов Д.В. Контроль комбинационных схем на основе кодов с суммированием с одним взвешенным информационным разрядом // Автоматика на транспорте. 2016. Т. 2, № 4. С. 564-597.
Collection of Digital Design Benchmarks. URL: http://ddd.fit.cvut.cz/prj/Benchmarks/
Yang S. Logic Synthesis and Optimization Benchmarks: User Guide: Version 3.0. Microelectronics Center of North Carolina (MCNC), 1991. 88 p.
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.
 Experimental studies of one-bit and one weighted bit sum codes within concurrent error detection systems | Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitelnaja tehnika i informatika – Tomsk State University Journal of Control and Computer Science. 2018. № 43. DOI: 10.17223/19988605/43/10

Experimental studies of one-bit and one weighted bit sum codes within concurrent error detection systems | Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitelnaja tehnika i informatika – Tomsk State University Journal of Control and Computer Science. 2018. № 43. DOI: 10.17223/19988605/43/10

Download full-text version
Counter downloads: 604