Code Design for Dependable Systems

Chapter 9.3.2.1 - Design for SEC-Sb/pxbEL Codes: 1. Codes Designed by Tensor Product — Codes I —

9.3.2   Design for SEC-Sb/p×bEL Codes

1. Codes Designed by Tensor Product — Codes I —


In general, we can design the error locating codes by means of the tensor product of two
codes, one being an error correcting code and the other an error detecting code. The codes
designed by this method are called here type I codes. This method can be applied to the
design of SEC-Sb/p×bEL codes by using the single-bit error correcting and single b-bit
byte error detecting code, or the SEC-SbED code presented in Section 6.1, and a single
b-bit byte error correcting code, or an SbEC code presented in Section 5.1.

Theorem 9.7   The code described by the following matrix H is an SEC −
Sb/p×bEL code
:

 

where Ä represents tensor product, B = p × b, N is the code length (in bits) of the SECSb/p×bEL
code, H'b' is the parity-check matrix of the Sb'EC code, H'b is the parity-check
matrix of the (B, B − b') SEC-SbED codes, and H'i is the submatrix of H'b' corresponding
to the i-th byte.


Proof  It is apparent that the code satisfies condition 1 of Theorem 9.4 for any single-bit
errors and any single-byte errors. Because the binary columns of H are distinct, condition
2 of Theorem 9.4 is satisfied. The syndrome resulting from any single-byte error
in the i-th block is different from that in the j-th block for i j because each column
in Hi is determined by the product of H'i and H'b. Hence condition 3 is satisfied. In
general, every H'i includes b' × b' identity matrix, meaning Ib' , and therefore every
Hi has H'b as a column element. This implies that the syndrome resulting from any
single-bit error is different from that resulting from any single-byte error excluding
single-bit errors. Based on this and on condition 3, condition 4 in Theorem 9.4 is satisfied.
From Theorem 9.4 it follows that the code described by H is an SEC-Sb/p×bEL
code.                                                                                                                    Q.E.D.

Example 9.1  [FUJI94]

For b = 4 and b' = 5 the S5EC code with r = 2 described by the matrix H'b' is

 

where T5 is a primitive element in GF(25), and O5 and I5 are the zero element and
identity element in GF(25), respectively. Let H'b be the parity-check matrix of the
(12, 7) SEC-S4ED code having b' = 5 check bits. With these two codes the (396; 386)
SEC-S4/3×4EL code obtained is shown in the following matrix H:

 

The code length (in bits) of the SEC-Sb/p×bEL codes, defined by Theorem 9.7, can be
expressed as follows. In this case the maximal codes shown in Subsection 5.1.4 are used to
determine the length of the Sb'EC codes.

 

In this equation, R = b'r + c, 0 ≤ cb', is the check-length of the SEC-Sb/p×bEL codes.

Figure 9.3 shows the relations between the information-bit lengths and the check-bit
lengths of the SEC-Sb/p×bEL codes for b = 4 bits. In this case, B shows the maximum
block length in bits determined by the value of b'(> b).

 

UNLIMITED FREE
ACCESS
TO THE WORLD'S BEST IDEAS

SUBMIT
Already a GlobalSpec user? Log in.

This is embarrasing...

An error occurred while processing the form. Please try again in a few minutes.

Customize Your GlobalSpec Experience

Category: Error Correction Chips
Finish!
Privacy Policy

This is embarrasing...

An error occurred while processing the form. Please try again in a few minutes.