Implementation of Galois Field Arithmetic. Nonbinary BCH Codes and Reed-Solomon Codes

Size: px
Start display at page:

Download "Implementation of Galois Field Arithmetic. Nonbinary BCH Codes and Reed-Solomon Codes"

Transcription

1 BCH Codes Wireless Information Transmission System La. Institute of Communications Engineering g National Sun Yat-sen University

2 Outline Binary Primitive BCH Codes Decoding of the BCH Codes Implementation of Galois Field Arithmetic Implementation of Error Correction Noninary BCH Codes and Reed-Solomon Codes

3 Preface The Bose, Chaudhuri, and Hocquenghem (BCH codes form a large class of powerful random error-correcting cyclic codes. This class of codes is a remarkale generalization of the Hamming codes for multiple-error correction. Binary BCH codes were discovered y Hocquenghem in 959 and independently y Bose and Chaudhuri in 960. Generalization of the inary BCH codes to codes in p m symols (where p is a prime was otained y Gorenstein and Zierler. Among the noninary BCH codes, the most important suclass is the class of Reed-Solomon (RS codes. Among all the decoding algorithms for BCH codes, Berlekamp s iterative algorithm, and Chien s search algorithm are the most efficient i ones.

4 Description of the BCH Codes Wireless Information Transmission System La. Institute of Communications Engineering g National Sun Yat-sen University

5 Binary Primitive BCH Codes m integer m, t, a inary BCH codes with m n Block length nk mt Numer of parity-check digits dmin t Minimum distance Clearly, this code is capale of correcting any comination of t or fewer errors in a lock of n m digits. We call this code a t-error-correcting BCH code. The generator polynomial of this code is specified in terms of its roots from the Galois field GF( m m Let e a primitive element of GF(. The generator poly. g( of the t-error-correcting BCH code of length m is the lowestdegree poly. over GF( which has t..... as its roots. 5

6 Binary Primitive BCH Codes t It follows from Theorem. that g( has,,..., and their i conjugates as all its roots. Let i ( e the minimal poly. of. Then g( must e the least common multiple (LCM of, (,..., (, that is, ( t g ( LCM (, (,... ( t If i is an even integer, it can e epressed as a product of the following form : l i i', ' l i i where i is an odd numer and l. Then ( is a conjugate ' i i of and therefore and i have the same minimal poly., that is, ( (. i i 6

7 Binary Primitive BCH Codes Hence, even power of has the same minimal poly. as some preceding odd power of. deg ( deg ( g ( LCM (, (,... t ( i m (Theorem.8 &.9 g mt n k mt The BCH codes defined aove are usually called primitive (or narrow-sense BCH codes. 7

8 Binary Primitive BCH Codes The single-error-correcting BCH codes of length m is generated y g ( ( since t =. m is a primitive element of GF( ( is a primitive poly. of degree m 0 m (,,..., the single-error-correcting BCH codes of length Hamming code E 6. m is a 4 is a primitive element of GF( given y Tale.8 such that 4 0. The minimal polynomials of α,α,α 5 are 8

9 Binary Primitive BCH Codes ( 4 4 ( ( 5 5 The doule-error-correcting BCH code of length n 4 5 is generated y g( LCM{ (, ( } Since and ( are two distinct irreducile polynomials, ( g( ( ( (5,7 cyclic code with d min W ( g ( 5 d 5 min 4 9

10 Binary Primitive BCH Codes The triple-error-correcting BCH code of length 5 is generated y g ( LCM (, (, ( ( ( ( It s a (5,5 cyclic code with dmin 7.Since W( g( 7, dmin 7. Let v ( v0 v... v n n e a poly. t t with v GF( If v( has roots,,...,, then v( is divisile y (, (,..., (. (Theorem.4 t i v( is a code poly. ecause ( g( LCM{ (, (,..., ( } v t 0

11 Binary Primitive BCH Codes We have a new definition for t-error-correcting BCH code: Ainaryn-tuple n v ( v 0, v, v,..., v n is a code word if and only if the poly. ( i.e. v( i v i i v v... v n i 0 n 0 i. v, v, v,..., v n 0 for i.. ( n i ( 0 t.

12 Binary Primitive BCH Codes Binary Primitive BCH Codes Let... n.. (... (... n.. H If v is a code word in the t error correcting BCH code (... (.. n t t If v is a code word in the t-error-correcting BCH code, then 0 H v T The code is the null space of the matri H and H is the parity check matri of the code 0 H v parity-check matri of the code.

13 Binary Primitive BCH Codes j i j i is a conjugate of, then v( 0 iff v( 0 j-th row of H can e omitted. As a result H can e reduced to the following form : H n ( ( n t t t n ( ( ( (Thm.. 只剩下奇數的 Row EX 6. doule-error-correcting BCH code of length n 4 5, (5,7 4 code. Let e a primitive element in GF(

14 Binary Primitive BCH Codes The parity-check matri is (Note that the parity check matri is not inary anymore H Using 5, and representing each entry of H y its 4-tuple, H

15 Binary Primitive BCH Codes FACT: The t-error-correcting BCH code indeed has dmin t (pf: Suppose v 0 such that W(v t Let v, v,... v e the nonzero components of v (i.e. all ones j j j T ( ( 0 vh ( v jv.. j v j t ( ( j j t j ( ( j j t j j j j j j j t ( ( j j j t ( ( (,..., 0... j j j t ( ( 5

16 Binary Primitive BCH Codes j j j ( ( j j j ( ( (,..., 0 j j j ( ( A, a square matri t A 0 Taking out the common j ( j factor from each row of j ( j the determinant. ( j j... j 0... ( j j 6

17 Binary Primitive BCH Codes The determinant in the equality aove is a Vandermonde determinant which is nonzero. The product on the left-hand side of can not e zero. This is a contradiction and hence our assumption that there eists a nonzero code vector v of W(v t is invalid. dmin t t+ is the designed ddistance of fthe t-error-correcting ti BCH code. The true minimum distance of a BCH code may or may not e equal to its designed distance. m Binary BCH code with length n can e constructed in the same manner as for the case n m. (Theorem.9 m m Let e an element of order n in GF(, n and g( e the t inary polynomial l of minimum i degree that t has,,..., as roots. 7

18 Binary Primitive BCH Codes Let (, (,..., t ( e the minimal poly. of respectively then g( LCM{ (, (,..., t ( } n t n,,,..., are roots of n g ( ( X We see that g( is a factor of +. n,,... t The cyclic code generated y g( is a t-error-correcting BCH code of length n. The numer of parity-check digits dmin t. If βis not a primitive element of GF( m, the code is called a nonprimitive BCH code. mt 8

19 General Definition of Binary BCH Codes General definition of inary BCH codes. GF( m, 0 e any nonnegative integer and consider l0 l0 l0 d 0,,...,. For 0 id0, let i (, ni e the 0 i minimal poly. and order of, respectively. g( LCM{ 0(, (,..., d ( } and dthe length of fthe code is Note that: dmin d0 n LCM n, n,... n d 0 (Proof is omitted and left as an eercise. parity-check digits md ( 0 is capale of correcting ( d0 / or fewer errors 0 0 9

20 General Definition of Binary BCH Codes If we let l0 =, d0 = t+ and e a primitive element of GF( m, the code ecomes a t-error-correcting primitive BCH code of length m. If we let l0 =, d0 = t+ and e not a primitive element of GF( m, the code is a nonprimitive t-error-correcting BCH code of length n, which is the order of. For a BCH code with designed distance d0, we require g( has d0 - consecutive powers of a field element as roots. This guarantees that the code has d. This lower ound on the minimum min d 0 distance is called the BCH ound. In the rest of this chapter, we consider only the primitive BCH codes. 0

21 Decoding of the BCH Codes Wireless Information Transmission System La. Institute of Communications Engineering g National Sun Yat-sen University

22 Decoding of the BCH Codes Decoding of the BCH Codes Suppose that a code word v( = is transmitted and the transmission errors result : 0... n v n v v v is transmitted and the transmission errors result : r( = Let e( e the error pattern. Then 0... n r n r r r For decoding, rememer e( v( r( ( (... n n.. (... ( H n ( (.... n t t (... ( n t t

23 Decoding of the BCH Codes The syndrome is t-tuple, S ( S, S,... S t r H i i i n Let s r ( r r... r ( for i i 0 n s can e evaluated y ( R [ r( ] i i ( i ( is the minimal poly. of i r( a ( ( ( s r i i i i i i ( i( i T t

24 Decoding of the BCH Codes EX6.4 Consider the doule-error-correcting error (5, 7 BCH code given in 8 (from E6.. If r ( r( s (, s ( 4 4 ( ( 4 ( ( 4 ( R [ r ( ] ( ( ( R [ r( ] s s ( 4 9 ( s (,,, (Note that syndrome is not inary anymore. 4

25 Decoding of the BCH Codes i i i v( 0 for i t s r( e( j j j Suppose e (... v 0 j j... j n j j jv s... j j j s ( (... ( v i j t jv t s tt (... ( j j j where,,... v are unknown. Any method for solving these equations is a decoding algorithm for the BCH codes. v 5

26 Decoding of the BCH Codes j j j Once,,... v have een found, the powers j, j,... j tell us the error locations in e( v If the numer of errors in e( is t or less, the solution that yields an error pattern with the smallest numer of errors is the right solution. j For convenience, let, v e the error location numers. s... v s... v st... t t t v Power-sum Symmetric function 6

27 Decoding of the BCH Codes Define ( ( (...( = 0... : error-location poly. The roots of ( are,,... v, which are the inverses of the error location numers v... v v v v v v v 7

28 Decoding of the BCH Codes These coefficients are known as elementary symmetric functions. i ' s are related to s ' s y Newton's identities s j 0 s s 0 ss s 0 sv sv... v svv 0 s s... s s 0 v v v v Note that, for inary case, 0, we have i for odd i i i 0 for even i 8

29 Decoding of the BCH Codes The equations may have many solutions. We want to find the solution that yields a σ(x ofminimal degree. This σ(x would produce an error pattern with minimum numer of errors. Decoding Procedure step. Compute s ( s, s,... s from r ( t step. Determine ( from step. Determine the error-location numer,,... v y finding the roots of ( and correct the errors in r ( s 9

30 Decoding of the BCH Codes Iterative Algorithm for finding ( (Berlekamps iterative algorithm i i. e ( i s s Y i t ( t ( ( N END D o es the coeficients ( i of satisfy the ( i th N e w to n s id en tity? Y ( i ( i correction term N ( i ( i a i i 0

31 Decoding of the BCH Codes How to add a correction term to ( i? ( ( ( ( Let... e the minimum-degree poly. determined at the thstep. ( To determine ( => compute th discrepancy ( ( (... d s s s s ( ( If d 0 ( ( If d 0, go ack to the steps prior to the th step and determine ( ( s.t. th discrepancy d 0, and has the largest value. ( ( deg [ ( ]. Then ( ( ( ( ( ( d d ( is the minimum-degree poly. whose coefficients satisfy the first Newton s identities

32 Decoding of the BCH Codes To carry out the iteration of finding σ(x, we egin with the following tale: ( ( d 0-0 S 0 0 t

33 Decoding of the BCH Codes l μ is the degree of σ (μ (X. If d μ =0, then σ (μ+ μ (X= σ (μ (X andl l μ+ = l μ. If d μ 0, find another row ρ prior to the μth row such that d ρ 0 and the numer ρ-l ρ in the last column of the tale has the largest value. Then σ (μ+ (X is given y ( ( d d ( ( ( ( ( and l μ+ = ma(l μ, l ρ +μ-ρ ρ. ( ( In either case, d s s... s (t The polynomial σ (X in the last row should e the required σ(x.

34 Decoding of the BCH Codes E 6.5 Consider (5.5 5 triple-error-correcting error BCH codes given in e 6. (t= p ( e v 0 r ( ( ( ( ( (

35 Decoding of the BCH Codes ( R [ r ( ] ( ( ( R [ r( ] ( R [ r( ] 5 5 ( 4 s s s s s 6 s s (,,,,, ( ( ( ( ( ( d d ( 5

36 Decoding of the BCH Codes S = ( ( (... μ=0; d 0 =S = 0 ( ( ( ( ρ=- ( ( d d ( σ ( (X= σ (0 (X+d 0 d - - X (0+ σ (- (X=+ X =+X X +X l =ma(l 0,l - +μ-ρ=ma(0,0+0+= μ-ll μ =-l l =-=0 d s s s s d =S +σ ( S =+ =0 l μ+ = ma(l μ, l ρ +μ-ρ. σ ( (X= σ ( (X=+X l =l = μ-l μ =-l =-= d =S +σ ( S =α 0 + =(+α+α += α 5 6

37 Decoding of the BCH Codes d =α 5 0 ρ=0 σ ( (X=σ ( (X+d d 0 - X (-0 σ (0 (X=+X+ α 5 X =+X+α 5 X l =ma(l,ll 0 +μ-ρ=ma(,0+-0= 0 μ-l μ =-l =-= d S 5 =S 4 +σ ( S +σ ( S +σ ( S =+ α 0 + α 5 +0 =+(+α+α +(α+α =0 7

38 Decoding of o f the t h e BCH Codeso d e s ( ( d ( ( (6 5 0 ( ( (,, 0 8

39 Decoding of the BCH Codes error location numers,, e ( r ( r ( e ( 0 If the numer of errors in the received polynomial r(x is less than the designed error-correcting capaility t of the code, it is not necessary to carry out the t steps of iteration to find the errorlocation polynomial σ(x. It has een shown that if d μ and the discrepancies at the net t-l μ - steps are all zeros (i.e. successive t-l μ zeros, σ (μ (X is the errorlocation polynomial. If v(v t errors occur, only v+t steps of iteration are needed. The iterative algorithm descried aove not only applies to inary BCH codes ut also noninary BCH codes. 9

40 Decoding of the BCH Codes Simplified Algorithm for finding ( For a inary BCH code, it is only required to fill out a tale with t empty rows. Such a tale is presented elow. ( ( d -/ 0-0 S t 40

41 Decoding of the BCH Codes ( (. If d 0, then ( (. If d 0, find another row proceding the th row, s.t. is as large as possile and d 0 ( ( ( ( Then ( X ( X d d X ( X ( ( note that d s s s +... ( s ( deg [ ( ] 4

42 Decoding of the BCH Codes The polynomial σ (t (X in the last row should e the required σ(x. If it has degree greater than t, there were more than t errors, and generally it is not possile to locate them. The computation required in this simplified algorithm is one-half of the computation required in the general algorithm. The simplified algorithm applies only to inary BCH codes. If the numer of errors in the received polynomial r(x is less than the designed error-correcting capaility t of the code, it is not necessary to carry out the t steps of iteration to find the errorlocation polynomial σ(x for a t-error-correcting inary BCH code. 4

43 Decoding of the BCH Codes Remarks: If v t errors occur, only ( t v / steps needed. If, for some μ, d μ and the discrepancies at the net (t-l μ -/ steps are zero, then ( X is the error-location poly. EX6.6 The simplified tale for finding ( for the code in e6.5 is given elow. Thus, ( ( ( 5. ( ( d I I -/ 0-0 S= 0 0 +S=+ 5 S+S S== (take = -/ (take = (take = 4

44 Decoding of the BCH Codes Finding the Error-Location Numers and Error Correction. Consider e The error-location poly. has een found to e 5 ( By sustituting 4 0,,,...,, into it, we find that,, are the roots of (. Therefore, the error location numers are 5 5,, e( Chien s procedure: The received vector r( r rn 0 r r... is decoded on a it-y-it asis. The high-order its are decoded first. n To decode r n-, the decoder test whether is an error-location numer; this is equivalent to test whether its inverse is a root of (. If is a root, then 44 n v... v 0

45 Decoding of the BCH Codes l l vl To decode rn l, the decoder forms,,..., v and tests the sum l l... If the sum is zero, then α n-l is an error-location numer and r n-l is an erroneous digit; otherwise, r n-l is a correct digit. Cyclic error location search unit v vl t t i i A i t 45

46 Decoding of the BCH Codes The t -registers are initial stored with,,..., t calculated in step of the decoding ( v v... t 0 for v < t. Immediately efore rn- is read out of the uffer, the t multiplier are pulsed once. v The multiplications are performed and,,..., v are stored in the -registers. The output of the logic circuit A is if v and only if the sum otherwise, the... v 0; output tof fa is 0. The digit itrn- is read out of fthe uffer and corrected y the output of A. Having decoded rn-,the t multipliers are pulsed 4 v again. Now,,..., v arestoredinthe the -registers. The sum 4 v... v is tested for 0. The digit rn- is read out of the uffer and corrected in the same manner as rn- is corrected. 46

47 Implementation of Galois Field Arithmetic Wireless Information Transmission System La. Institute of Communications Engineering g National Sun Yat-sen University

48 Implementation of Galois Field Arithmetic Galois field adder (GF( 4 given y Tale.8 ADD a0 a a a Register A (accumulator a0 0 a 0 a a Register B By adding their vector representations with modulo- addition. 48

49 Implementation of Galois Field Arithmetic For multiplication, we first consider multiplying a field element y a fied element from the same field. Suppose that we want to multiply a field element in the GF( 4 y the primitive element 4 whose minimal polynomial is (. 0 ( 0 任一 β 要乘上定值 α 4 0 E: 7 let. The vector representation of is ( 0. Load it into the register. After the register is pulsed, the new content in it will e (

50 Implementation of Galois Field Arithmetic the aove circuit can e used to generate all the nonzero element 4 GF( y load (000 first into the register E: as another eample, multiply β y α : ( ( + ( ( ( (

51 Implementation of Galois Field Arithmetic E: multiplying two aritrary elements Steps: 0 r c c c c 0 r c c c c 0 ((( c c c c 0. multiply c y and add the product to c. multiply ( c c y and add the product to c. multiply (( c c c y and add the product to c 0 5

52 Implementation of Galois Field Arithmetic The circuit in e can e modified to carry out the computation given y e 0 c0 c c c 5

53 Implementation of Galois Field Arithmetic Step : Register A are empty B ( 0 C ( c0 c c c Step : Registers A. C. are shifted four times. At the end of first shift, A (( c 0, c, c, c, the vector representation of c At the end of second shift, A (( c c At the end of third shift, A ((( c c c At the end of fourth shift, A 5

54 Implementation of Galois Field Arithmetic If we epress ((( c c 0 c c then we otain a different multiplication circuit. 0 c c c c0 54

55 Implementation of Galois Field Arithmetic How to compute syndrome It can e done with a circuit for multiplying a field element y α i. Suppose that we want to compute si i r(? where α is a primitive element in GF( 4 r( r r r... r =(...((( r r r... r

56 Implementation of Galois Field Arithmetic The computation of r(α can e accomplished y adding an input to the circuit r ( input At the end of first shift ( r,0,0, At the end of nd shift r 4 r At the end of rd shift ( r4 r r 56

57 Implementation of Galois Field Arithmetic We can compute r( y adding an input to the circuit for multiplying y of figure in E. r ( input i There is another way of computing r(. Let i ( e the minimal i poly. of. Let ( e the remainder resulting from dividing r( y i (. Then i i r( ( 57

58 Implementation of Galois Field Arithmetic Implementation of Galois Field Arithmetic Thus, computing r( is equivalent to computing (. Again we consider computation over GF( Suppose that we want to i i 4 consider computation over GF(. Suppose that we want to compute r(. The minimal poly. of is 4 ( The remainder ( ( Then 0 ( ( ( 0 0 ( ( ( 58

59 Implementation of Galois Field Arithmetic Such a circuit is shown elow 59

60 Implementation of Galois Field Arithmetic Implementation of Galois Field Arithmetic Since is a conjugate of, it has the same minimum poly. as 6 6 ( ( 0 0 ( ( ( ( ( Its circuit is shown in the net page 0 ( ( ( 60

61 Implementation of Galois Field Arithmetic 6

62 Implementation of Error Correction Wireless Information Transmission System La. Institute of Communications Engineering g National Sun Yat-sen University

63 Implementation of Error Correction Syndrome computation circuit for the doule-error-correcting (5,7 BCH code 6

64 Implementation of Error Correction Chien s searching circuit for the doule-error correcting (5,7 BCH code. 64

65 Noninary BCH Codes and Reed-Solomon Codes Wireless Information Transmission System La. Institute of Communications Engineering g National Sun Yat-sen University

66 Noninary BCH Codes and Reed-Solomon Codes In addition to the inary codes, there are noninary codes. If p is a prime numer and q is any power of p (q=p p m thereare, codes with symols from the Galois field GF(q. These codes are called q-ary codes. An (n, k linear code with symols from GF(q is a k-dimensional suspace of the vector space of all n-tuples over GF(q. A q-ary (n, k cyclic code is generated y a polynomial of degree (nk with coefficients from GF(q, which is a factor of X n -. Encoding and decoding of q-ary y codes are similar to that of inary codes. For any choice of positive integers s and t, there eists a q-ary BCH code of length n=q s -, which can correct any cominational of t or fewer errors and requires no more than st parity-check digits. 66

67 Noninary BCH Codes and Reed-Solomon Codes Let α e a primitive element in the Galois field GF(q s. The generator polynomial g(x ofat t-error-correcting q-ary BCH is the polynomial of lowest degree with coefficients from GF(q for which α,, α,,, α t are roots. Let φ i (X e the minimal polynomial of α i. Then g(x=lcm{φ (X,φ (X,,φ t (X } The degree of each minimal polynomial is s or less. Therefore, the degree of g(xisatmostst st, and hence the numer of parity-check digits of the code generated y g(x is no more than st. For q=,, we otain the inary BCH codes. 67

68 Noninary BCH Codes and Reed-Solomon Codes t-error-correcting Reed-Solomon code with symols from GF(q: s =, Block length: n=q-, # parity-check digits: n-k =t, Minimum distance: d min =t+. Reed-Solomon codes with code symols from GF( m (ie (i.e., q= m Let α e a primitive element in GF( m The generator polynomial of code length m -is g( ( (...( = g0 g... gt (n,n-t n cyclic code and coefficients of g(xisfromgf( m k Let Message: a X a0 ax ax ak X In systematic form, the t parity-check digits are coefficients of t t t t t X Rg X X a X 0 X t X (Sec 5. 68

69 Noninary BCH Codes and Reed-Solomon Codes Encoding circuit of a q-ary RS code 69

70 Noninary BCH Codes and Reed-Solomon Codes Decoding of RS code: v(= = r( = v0 v... vn r 0 r... r n n n e ( r ( v ( ee... e 0 n n e ( v( r ( m ei ri vi, GF( Suppose the error pattern e( ( contains v errors (nonzero j components, then j j e( e e... e j j j j To determine e(, we need error-locations l s and the error jl values (i.e. vpairs(, e ' s j l In decoding a RS code, the same three steps used for decoding a inary BCH code are required ; in addition, a fourth step involving i calculation of error values is required. 70

71 Noninary BCH Codes and Reed-Solomon Codes j Let... v s r( e e... e j j jv v s r ( e... e j jv v s r( e.. e t t t t j jv v note: S R [ r( ] i i ( i ( ie.. r ( a ( ( i i i 7

72 Noninary BCH Codes and ReedReed-Solomon Codes Syndrome computation circuit for R-S codes Division circuit (a over GF ( m ( in inary form 7

73 Noninary BCH Codes and Reed-Solomon Codes To find ( : the error-location poly. y Berlekamp s iterative algorithm ( ( (...( v... v Once ( is found, we can determine the error values. Let... z s s s s s v v j It can e shown that the error value at location l is given y: e j l i il Z l i l l 7

74 Noninary BCH Codes and Reed-Solomon Codes E: Consider a triple-error-correcting Reed-Solomon code with symols from GF( 4 The generator polynomial of this code is: g( ( (...( (5, 9, RS code, n =5. n k = 6, t = e ( r ( r (

75 Noninary BCH Codes and ReedReed-Solomon Codes Step. Using tale.8 elow to compute syndrome components: 75

76 Noninary BCH Codes and Reed-Solomon Codes S r( S S S S S r ( r ( r( r ( 0 r( Step. Find( y filling out tale in net slide. 76

77 Noninary BCH Codes and Reed-Solomon Codes 77

78 Noninary BCH Codes and Reed-Solomon Codes Step. By sustituting 9 4,,,... into (,, are roots of ( 9 6,, are the error-location 6 numers of e ( e ( e e e 6 Step 4. From 6.4, find z( z( 6 7 e 6 ( ( e 6 z ( ( ( 78

79 Noninary BCH Codes and Reed-Solomon Codes e z( ( ( 6 4 e ( v ( r ( e ( 0 If β is not a primitive iti element of GF( m, then the m -ary code generated y t g ( ( (...( is a nonprimitive t-error-correcting RS code. The length n of this code is simply pythe order of β. Decoding of a nonprimitive Reed-Solomon code is identical to the decoding of a primitive Reed-Solomon code. 79

Implementation of Galois Field Arithmetic. Nonbinary BCH Codes and Reed-Solomon Codes

Implementation of Galois Field Arithmetic. Nonbinary BCH Codes and Reed-Solomon Codes BCH Codes Wireless Information Transmission System Lab Institute of Communications Engineering g National Sun Yat-sen University Outline Binary Primitive BCH Codes Decoding of the BCH Codes Implementation

More information

Binary Primitive BCH Codes. Decoding of the BCH Codes. Implementation of Galois Field Arithmetic. Implementation of Error Correction

Binary Primitive BCH Codes. Decoding of the BCH Codes. Implementation of Galois Field Arithmetic. Implementation of Error Correction BCH Codes Outline Binary Primitive BCH Codes Decoding of the BCH Codes Implementation of Galois Field Arithmetic Implementation of Error Correction Nonbinary BCH Codes and Reed-Solomon Codes Preface The

More information

Chapter 6. BCH Codes

Chapter 6. BCH Codes Chapter 6 BCH Codes Description of the Codes Decoding of the BCH Codes Outline Implementation of Galois Field Arithmetic Implementation of Error Correction Nonbinary BCH Codes and Reed-Solomon Codes Weight

More information

The BCH Bound. Background. Parity Check Matrix for BCH Code. Minimum Distance of Cyclic Codes

The BCH Bound. Background. Parity Check Matrix for BCH Code. Minimum Distance of Cyclic Codes S-723410 BCH and Reed-Solomon Codes 1 S-723410 BCH and Reed-Solomon Codes 3 Background The algebraic structure of linear codes and, in particular, cyclic linear codes, enables efficient encoding and decoding

More information

5.0 BCH and Reed-Solomon Codes 5.1 Introduction

5.0 BCH and Reed-Solomon Codes 5.1 Introduction 5.0 BCH and Reed-Solomon Codes 5.1 Introduction A. Hocquenghem (1959), Codes correcteur d erreurs; Bose and Ray-Chaudhuri (1960), Error Correcting Binary Group Codes; First general family of algebraic

More information

Chapter 6 Reed-Solomon Codes. 6.1 Finite Field Algebra 6.2 Reed-Solomon Codes 6.3 Syndrome Based Decoding 6.4 Curve-Fitting Based Decoding

Chapter 6 Reed-Solomon Codes. 6.1 Finite Field Algebra 6.2 Reed-Solomon Codes 6.3 Syndrome Based Decoding 6.4 Curve-Fitting Based Decoding Chapter 6 Reed-Solomon Codes 6. Finite Field Algebra 6. Reed-Solomon Codes 6.3 Syndrome Based Decoding 6.4 Curve-Fitting Based Decoding 6. Finite Field Algebra Nonbinary codes: message and codeword symbols

More information

Chapter 5. Cyclic Codes

Chapter 5. Cyclic Codes Wireless Information Transmission System Lab. Chapter 5 Cyclic Codes Institute of Communications Engineering National Sun Yat-sen University Outlines Description of Cyclic Codes Generator and Parity-Check

More information

Error Correction Review

Error Correction Review Error Correction Review A single overall parity-check equation detects single errors. Hamming codes used m equations to correct one error in 2 m 1 bits. We can use nonbinary equations if we create symbols

More information

Chapter 3 Linear Block Codes

Chapter 3 Linear Block Codes Wireless Information Transmission System Lab. Chapter 3 Linear Block Codes Institute of Communications Engineering National Sun Yat-sen University Outlines Introduction to linear block codes Syndrome and

More information

x n k m(x) ) Codewords can be characterized by (and errors detected by): c(x) mod g(x) = 0 c(x)h(x) = 0 mod (x n 1)

x n k m(x) ) Codewords can be characterized by (and errors detected by): c(x) mod g(x) = 0 c(x)h(x) = 0 mod (x n 1) Cyclic codes: review EE 387, Notes 15, Handout #26 A cyclic code is a LBC such that every cyclic shift of a codeword is a codeword. A cyclic code has generator polynomial g(x) that is a divisor of every

More information

Cyclic codes: overview

Cyclic codes: overview Cyclic codes: overview EE 387, Notes 14, Handout #22 A linear block code is cyclic if the cyclic shift of a codeword is a codeword. Cyclic codes have many advantages. Elegant algebraic descriptions: c(x)

More information

B. Cyclic Codes. Primitive polynomials are the generator polynomials of cyclic codes.

B. Cyclic Codes. Primitive polynomials are the generator polynomials of cyclic codes. B. Cyclic Codes A cyclic code is a linear block code with the further property that a shift of a codeword results in another codeword. These are based on polynomials whose elements are coefficients from

More information

An Enhanced (31,11,5) Binary BCH Encoder and Decoder for Data Transmission

An Enhanced (31,11,5) Binary BCH Encoder and Decoder for Data Transmission An Enhanced (31,11,5) Binary BCH Encoder and Decoder for Data Transmission P.Mozhiarasi, C.Gayathri, V.Deepan Master of Engineering, VLSI design, Sri Eshwar College of Engineering, Coimbatore- 641 202,

More information

Error Correction Methods

Error Correction Methods Technologies and Services on igital Broadcasting (7) Error Correction Methods "Technologies and Services of igital Broadcasting" (in Japanese, ISBN4-339-06-) is published by CORONA publishing co., Ltd.

More information

Solutions of Exam Coding Theory (2MMC30), 23 June (1.a) Consider the 4 4 matrices as words in F 16

Solutions of Exam Coding Theory (2MMC30), 23 June (1.a) Consider the 4 4 matrices as words in F 16 Solutions of Exam Coding Theory (2MMC30), 23 June 2016 (1.a) Consider the 4 4 matrices as words in F 16 2, the binary vector space of dimension 16. C is the code of all binary 4 4 matrices such that the

More information

Information redundancy

Information redundancy Information redundancy Information redundancy add information to date to tolerate faults error detecting codes error correcting codes data applications communication memory p. 2 - Design of Fault Tolerant

More information

Coding Theory and Applications. Solved Exercises and Problems of Cyclic Codes. Enes Pasalic University of Primorska Koper, 2013

Coding Theory and Applications. Solved Exercises and Problems of Cyclic Codes. Enes Pasalic University of Primorska Koper, 2013 Coding Theory and Applications Solved Exercises and Problems of Cyclic Codes Enes Pasalic University of Primorska Koper, 2013 Contents 1 Preface 3 2 Problems 4 2 1 Preface This is a collection of solved

More information

EE512: Error Control Coding

EE512: Error Control Coding EE51: Error Control Coding Solution for Assignment on BCH and RS Codes March, 007 1. To determine the dimension and generator polynomial of all narrow sense binary BCH codes of length n = 31, we have to

More information

Chapter 6. BCH Codes

Chapter 6. BCH Codes Wreless Informaton Transmsson System Lab Chapter 6 BCH Codes Insttute of Communcatons Engneerng Natonal Sun Yat-sen Unversty Outlne Bnary Prmtve BCH Codes Decodng of the BCH Codes Implementaton of Galos

More information

PAPER A Low-Complexity Step-by-Step Decoding Algorithm for Binary BCH Codes

PAPER A Low-Complexity Step-by-Step Decoding Algorithm for Binary BCH Codes 359 PAPER A Low-Complexity Step-by-Step Decoding Algorithm for Binary BCH Codes Ching-Lung CHR a),szu-linsu, Members, and Shao-Wei WU, Nonmember SUMMARY A low-complexity step-by-step decoding algorithm

More information

Error Detection & Correction

Error Detection & Correction Error Detection & Correction Error detection & correction noisy channels techniques in networking error detection error detection capability retransmition error correction reconstruction checksums redundancy

More information

A 2-error Correcting Code

A 2-error Correcting Code A 2-error Correcting Code Basic Idea We will now try to generalize the idea used in Hamming decoding to obtain a linear code that is 2-error correcting. In the Hamming decoding scheme, the parity check

More information

ELEC3227/4247 Mid term Quiz2 Solution with explanation

ELEC3227/4247 Mid term Quiz2 Solution with explanation ELEC7/447 Mid term Quiz Solution with explanation Ang Man Shun Department of Electrical and Electronic Engineering, University of Hong Kong Document creation date : 015 1 05 This document explain the solution

More information

ERROR CORRECTING CODES

ERROR CORRECTING CODES ERROR CORRECTING CODES To send a message of 0 s and 1 s from my computer on Earth to Mr. Spock s computer on the planet Vulcan we use codes which include redundancy to correct errors. n q Definition. A

More information

Minimized Logic Gates Number Of Components In The Chien Search Block For Reed-Solomon (RS)

Minimized Logic Gates Number Of Components In The Chien Search Block For Reed-Solomon (RS) Research Paper American Journal of Engineering Research (AJER) e-issn: 2320-0847 p-issn : 2320-0936 Volume-7, Issue-2, pp-110-116 www.ajer.org Open Access Minimized Logic Gates Number Of Components In

More information

GF(2 m ) arithmetic: summary

GF(2 m ) arithmetic: summary GF(2 m ) arithmetic: summary EE 387, Notes 18, Handout #32 Addition/subtraction: bitwise XOR (m gates/ops) Multiplication: bit serial (shift and add) bit parallel (combinational) subfield representation

More information

Dr. Cathy Liu Dr. Michael Steinberger. A Brief Tour of FEC for Serial Link Systems

Dr. Cathy Liu Dr. Michael Steinberger. A Brief Tour of FEC for Serial Link Systems Prof. Shu Lin Dr. Cathy Liu Dr. Michael Steinberger U.C.Davis Avago SiSoft A Brief Tour of FEC for Serial Link Systems Outline Introduction Finite Fields and Vector Spaces Linear Block Codes Cyclic Codes

More information

MATH 433 Applied Algebra Lecture 21: Linear codes (continued). Classification of groups.

MATH 433 Applied Algebra Lecture 21: Linear codes (continued). Classification of groups. MATH 433 Applied Algebra Lecture 21: Linear codes (continued). Classification of groups. Binary codes Let us assume that a message to be transmitted is in binary form. That is, it is a word in the alphabet

More information

Optical Storage Technology. Error Correction

Optical Storage Technology. Error Correction Optical Storage Technology Error Correction Introduction With analog audio, there is no opportunity for error correction. With digital audio, the nature of binary data lends itself to recovery in the event

More information

ECE8771 Information Theory & Coding for Digital Communications Villanova University ECE Department Prof. Kevin M. Buckley Lecture Set 2 Block Codes

ECE8771 Information Theory & Coding for Digital Communications Villanova University ECE Department Prof. Kevin M. Buckley Lecture Set 2 Block Codes Kevin Buckley - 2010 109 ECE8771 Information Theory & Coding for Digital Communications Villanova University ECE Department Prof. Kevin M. Buckley Lecture Set 2 Block Codes m GF(2 ) adder m GF(2 ) multiplier

More information

Berlekamp-Massey decoding of RS code

Berlekamp-Massey decoding of RS code IERG60 Coding for Distributed Storage Systems Lecture - 05//06 Berlekamp-Massey decoding of RS code Lecturer: Kenneth Shum Scribe: Bowen Zhang Berlekamp-Massey algorithm We recall some notations from lecture

More information

Fault Tolerance & Reliability CDA Chapter 2 Cyclic Polynomial Codes

Fault Tolerance & Reliability CDA Chapter 2 Cyclic Polynomial Codes Fault Tolerance & Reliability CDA 5140 Chapter 2 Cyclic Polynomial Codes - cylic code: special type of parity check code such that every cyclic shift of codeword is a codeword - for example, if (c n-1,

More information

VHDL Implementation of Reed Solomon Improved Encoding Algorithm

VHDL Implementation of Reed Solomon Improved Encoding Algorithm VHDL Implementation of Reed Solomon Improved Encoding Algorithm P.Ravi Tej 1, Smt.K.Jhansi Rani 2 1 Project Associate, Department of ECE, UCEK, JNTUK, Kakinada A.P. 2 Assistant Professor, Department of

More information

Contents Introduction Primitive BCH Codes Generator Polynomial Properties Decoding of BCH Codes Syndrome Computation Syndrome and Error Pattern

Contents Introduction Primitive BCH Codes Generator Polynomial Properties Decoding of BCH Codes Syndrome Computation Syndrome and Error Pattern BCH CODE Contents. Introduction. Primitive BCH Codes. Generator Polynomial 4. Properties 5. Decoding of BCH Codes 6. yndrome Computation 7. yndrome and Error Pattern 8. Error-location Polynomial 9. Decoding

More information

MATH 291T CODING THEORY

MATH 291T CODING THEORY California State University, Fresno MATH 291T CODING THEORY Fall 2011 Instructor : Stefaan Delcroix Contents 1 Introduction to Error-Correcting Codes 3 2 Basic Concepts and Properties 6 2.1 Definitions....................................

More information

Generalized Reed-Solomon Codes

Generalized Reed-Solomon Codes Chapter 5 Generalized Reed-Solomon Codes In 1960, I.S. Reed and G. Solomon introduced a family of error-correcting codes that are douly lessed. The codes and their generalizations are useful in practice,

More information

Coding Theory: Linear-Error Correcting Codes Anna Dovzhik Math 420: Advanced Linear Algebra Spring 2014

Coding Theory: Linear-Error Correcting Codes Anna Dovzhik Math 420: Advanced Linear Algebra Spring 2014 Anna Dovzhik 1 Coding Theory: Linear-Error Correcting Codes Anna Dovzhik Math 420: Advanced Linear Algebra Spring 2014 Sharing data across channels, such as satellite, television, or compact disc, often

More information

1 Vandermonde matrices

1 Vandermonde matrices ECE 771 Lecture 6 BCH and RS codes: Designer cyclic codes Objective: We will begin with a result from linear algebra regarding Vandermonde matrices This result is used to prove the BCH distance properties,

More information

Constructions of Nonbinary Quasi-Cyclic LDPC Codes: A Finite Field Approach

Constructions of Nonbinary Quasi-Cyclic LDPC Codes: A Finite Field Approach Constructions of Nonbinary Quasi-Cyclic LDPC Codes: A Finite Field Approach Shu Lin, Shumei Song, Lan Lan, Lingqi Zeng and Ying Y Tai Department of Electrical & Computer Engineering University of California,

More information

Simplification of Procedure for Decoding Reed- Solomon Codes Using Various Algorithms: An Introductory Survey

Simplification of Procedure for Decoding Reed- Solomon Codes Using Various Algorithms: An Introductory Survey 2014 IJEDR Volume 2, Issue 1 ISSN: 2321-9939 Simplification of Procedure for Decoding Reed- Solomon Codes Using Various Algorithms: An Introductory Survey 1 Vivek Tilavat, 2 Dr.Yagnesh Shukla 1 PG Student,

More information

The Pennsylvania State University. The Graduate School. Department of Computer Science and Engineering

The Pennsylvania State University. The Graduate School. Department of Computer Science and Engineering The Pennsylvania State University The Graduate School Department of Computer Science and Engineering A SIMPLE AND FAST VECTOR SYMBOL REED-SOLOMON BURST ERROR DECODING METHOD A Thesis in Computer Science

More information

Fault Tolerant Computing CS 530 Information redundancy: Coding theory. Yashwant K. Malaiya Colorado State University

Fault Tolerant Computing CS 530 Information redundancy: Coding theory. Yashwant K. Malaiya Colorado State University CS 530 Information redundancy: Coding theory Yashwant K. Malaiya Colorado State University March 30, 2017 1 Information redundancy: Outline Using a parity bit Codes & code words Hamming distance Error

More information

Cyclic Codes. Saravanan Vijayakumaran August 26, Department of Electrical Engineering Indian Institute of Technology Bombay

Cyclic Codes. Saravanan Vijayakumaran August 26, Department of Electrical Engineering Indian Institute of Technology Bombay 1 / 25 Cyclic Codes Saravanan Vijayakumaran sarva@ee.iitb.ac.in Department of Electrical Engineering Indian Institute of Technology Bombay August 26, 2014 2 / 25 Cyclic Codes Definition A cyclic shift

More information

Physical Layer and Coding

Physical Layer and Coding Physical Layer and Coding Muriel Médard Professor EECS Overview A variety of physical media: copper, free space, optical fiber Unified way of addressing signals at the input and the output of these media:

More information

A Brief Encounter with Linear Codes

A Brief Encounter with Linear Codes Boise State University ScholarWorks Mathematics Undergraduate Theses Department of Mathematics 8-2014 A Brief Encounter with Linear Codes Brent El-Bakri Boise State University, brentelbakri@boisestate.edu

More information

Outline. MSRI-UP 2009 Coding Theory Seminar, Week 2. The definition. Link to polynomials

Outline. MSRI-UP 2009 Coding Theory Seminar, Week 2. The definition. Link to polynomials Outline MSRI-UP 2009 Coding Theory Seminar, Week 2 John B. Little Department of Mathematics and Computer Science College of the Holy Cross Cyclic Codes Polynomial Algebra More on cyclic codes Finite fields

More information

Generator Matrix. Theorem 6: If the generator polynomial g(x) of C has degree n-k then C is an [n,k]-cyclic code. If g(x) = a 0. a 1 a n k 1.

Generator Matrix. Theorem 6: If the generator polynomial g(x) of C has degree n-k then C is an [n,k]-cyclic code. If g(x) = a 0. a 1 a n k 1. Cyclic Codes II Generator Matrix We would now like to consider how the ideas we have previously discussed for linear codes are interpreted in this polynomial version of cyclic codes. Theorem 6: If the

More information

Error Detection, Correction and Erasure Codes for Implementation in a Cluster File-system

Error Detection, Correction and Erasure Codes for Implementation in a Cluster File-system Error Detection, Correction and Erasure Codes for Implementation in a Cluster File-system Steve Baker December 6, 2011 Abstract. The evaluation of various error detection and correction algorithms and

More information

Upper Bounds for Stern s Diatomic Sequence and Related Sequences

Upper Bounds for Stern s Diatomic Sequence and Related Sequences Upper Bounds for Stern s Diatomic Sequence and Related Sequences Colin Defant Department of Mathematics University of Florida, U.S.A. cdefant@ufl.edu Sumitted: Jun 18, 01; Accepted: Oct, 016; Pulished:

More information

EE 229B ERROR CONTROL CODING Spring 2005

EE 229B ERROR CONTROL CODING Spring 2005 EE 229B ERROR CONTROL CODING Spring 2005 Solutions for Homework 1 1. Is there room? Prove or disprove : There is a (12,7) binary linear code with d min = 5. If there were a (12,7) binary linear code with

More information

2013/Fall-Winter Term Monday 12:50 Room# or 5F Meeting Room Instructor: Fire Tom Wada, Professor

2013/Fall-Winter Term Monday 12:50 Room# or 5F Meeting Room Instructor: Fire Tom Wada, Professor SYSTEM ARCHITECTURE ADVANCED SYSTEM ARCHITECTURE Error Correction Code 1 01/Fall-Winter Term Monday 1:50 Room# 1- or 5F Meeting Room Instructor: Fire Tom Wada, Professor 014/1/0 System Arch 1 Introduction

More information

Chapter 9: BCH, Reed-Solomon, and Related Codes

Chapter 9: BCH, Reed-Solomon, and Related Codes Chapter 9: BCH, Reed-Solomon, and Related Codes Draft of February 23, 2001 9.1 Introduction. In Chapter 7 we gave one useful generalization of the (7, 4) Hamming code of the Introduction: the family of

More information

Error Correction and Trellis Coding

Error Correction and Trellis Coding Advanced Signal Processing Winter Term 2001/2002 Digital Subscriber Lines (xdsl): Broadband Communication over Twisted Wire Pairs Error Correction and Trellis Coding Thomas Brandtner brandt@sbox.tugraz.at

More information

EE 229B ERROR CONTROL CODING Spring 2005

EE 229B ERROR CONTROL CODING Spring 2005 EE 9B ERROR CONTROL CODING Spring 005 Solutions for Homework 1. (Weights of codewords in a cyclic code) Let g(x) be the generator polynomial of a binary cyclic code of length n. (a) Show that if g(x) has

More information

Polynomial Degree and Finite Differences

Polynomial Degree and Finite Differences CONDENSED LESSON 7.1 Polynomial Degree and Finite Differences In this lesson, you Learn the terminology associated with polynomials Use the finite differences method to determine the degree of a polynomial

More information

Decoding Algorithm and Architecture for BCH Codes under the Lee Metric

Decoding Algorithm and Architecture for BCH Codes under the Lee Metric Decoding Algorithm and Architecture for BCH Codes under the Lee Metric Yingquan Wu and Christoforos N. Hadjicostis Coordinated Science Laboratory and Department of Electrical and Computer Engineering University

More information

Design and Implementation of Reed-Solomon Decoder using Decomposed Inversion less Berlekamp-Massey Algorithm by

Design and Implementation of Reed-Solomon Decoder using Decomposed Inversion less Berlekamp-Massey Algorithm by Design and Implementation of Reed-Solomon Decoder using Decomposed Inversion less Berlekamp-Massey Algorithm by Hazem Abd Elall Ahmed Elsaid A Thesis Submitted to the Faculty of Engineering at Cairo University

More information

1 Reed Solomon Decoder Final Project. Group 3 Abhinav Agarwal S Branavan Grant Elliott. 14 th May 2007

1 Reed Solomon Decoder Final Project. Group 3 Abhinav Agarwal S Branavan Grant Elliott. 14 th May 2007 1 Reed Solomon Decoder 6.375 Final Project Group 3 Abhinav Agarwal S Branavan Grant Elliott 14 th May 2007 2 Outline Error Correcting Codes Mathematical Foundation of Reed Solomon Codes Decoder Architecture

More information

Cyclic codes. Vahid Meghdadi Reference: Error Correction Coding by Todd K. Moon. February 2008

Cyclic codes. Vahid Meghdadi Reference: Error Correction Coding by Todd K. Moon. February 2008 Cyclic codes Vahid Meghdadi Reference: Error Correction Coding by Todd K. Moon February 2008 1 Definitions Definition 1. A ring < R, +,. > is a set R with two binary operation + (addition) and. (multiplication)

More information

Cyclic codes. I give an example of a shift register with four storage elements and two binary adders.

Cyclic codes. I give an example of a shift register with four storage elements and two binary adders. Good afternoon, gentleman! Today I give you a lecture about cyclic codes. This lecture consists of three parts: I Origin and definition of cyclic codes ;? how to find cyclic codes: The Generator Polynomial

More information

Algebra for error control codes

Algebra for error control codes Algebra for error control codes EE 387, Notes 5, Handout #7 EE 387 concentrates on block codes that are linear: Codewords components are linear combinations of message symbols. g 11 g 12 g 1n g 21 g 22

More information

MATH 291T CODING THEORY

MATH 291T CODING THEORY California State University, Fresno MATH 291T CODING THEORY Spring 2009 Instructor : Stefaan Delcroix Chapter 1 Introduction to Error-Correcting Codes It happens quite often that a message becomes corrupt

More information

Section 3 Error Correcting Codes (ECC): Fundamentals

Section 3 Error Correcting Codes (ECC): Fundamentals Section 3 Error Correcting Codes (ECC): Fundamentals Communication systems and channel models Definition and examples of ECCs Distance For the contents relevant to distance, Lin & Xing s book, Chapter

More information

Lecture 12. Block Diagram

Lecture 12. Block Diagram Lecture 12 Goals Be able to encode using a linear block code Be able to decode a linear block code received over a binary symmetric channel or an additive white Gaussian channel XII-1 Block Diagram Data

More information

Linear Cyclic Codes. Polynomial Word 1 + x + x x 4 + x 5 + x x + x

Linear Cyclic Codes. Polynomial Word 1 + x + x x 4 + x 5 + x x + x Coding Theory Massoud Malek Linear Cyclic Codes Polynomial and Words A polynomial of degree n over IK is a polynomial p(x) = a 0 + a 1 x + + a n 1 x n 1 + a n x n, where the coefficients a 0, a 1, a 2,,

More information

ECEN 604: Channel Coding for Communications

ECEN 604: Channel Coding for Communications ECEN 604: Channel Coding for Communications Lecture: Introduction to Cyclic Codes Henry D. Pfister Department of Electrical and Computer Engineering Texas A&M University ECEN 604: Channel Coding for Communications

More information

New Algebraic Decoding of (17,9,5) Quadratic Residue Code by using Inverse Free Berlekamp-Massey Algorithm (IFBM)

New Algebraic Decoding of (17,9,5) Quadratic Residue Code by using Inverse Free Berlekamp-Massey Algorithm (IFBM) International Journal of Computational Intelligence Research (IJCIR). ISSN: 097-87 Volume, Number 8 (207), pp. 205 2027 Research India Publications http://www.ripublication.com/ijcir.htm New Algebraic

More information

SPA decoding on the Tanner graph

SPA decoding on the Tanner graph SPA decoding on the Tanner graph x,(i) q j,l = P(v l = x check sums A l \ {h j } at the ith iteration} x,(i) σ j,l = Σ P(s = 0 v = x,{v : t B(h )\{l}}) q {vt : t B(h j )\{l}} j l t j t B(h j )\{l} j,t

More information

Linear Cyclic Codes. Polynomial Word 1 + x + x x 4 + x 5 + x x + x f(x) = q(x)h(x) + r(x),

Linear Cyclic Codes. Polynomial Word 1 + x + x x 4 + x 5 + x x + x f(x) = q(x)h(x) + r(x), Coding Theory Massoud Malek Linear Cyclic Codes Polynomial and Words A polynomial of degree n over IK is a polynomial p(x) = a 0 + a 1 + + a n 1 x n 1 + a n x n, where the coefficients a 1, a 2,, a n are

More information

MATH3302 Coding Theory Problem Set The following ISBN was received with a smudge. What is the missing digit? x9139 9

MATH3302 Coding Theory Problem Set The following ISBN was received with a smudge. What is the missing digit? x9139 9 Problem Set 1 These questions are based on the material in Section 1: Introduction to coding theory. You do not need to submit your answers to any of these questions. 1. The following ISBN was received

More information

Reed-Solomon codes. Chapter Linear codes over finite fields

Reed-Solomon codes. Chapter Linear codes over finite fields Chapter 8 Reed-Solomon codes In the previous chapter we discussed the properties of finite fields, and showed that there exists an essentially unique finite field F q with q = p m elements for any prime

More information

Know the meaning of the basic concepts: ring, field, characteristic of a ring, the ring of polynomials R[x].

Know the meaning of the basic concepts: ring, field, characteristic of a ring, the ring of polynomials R[x]. The second exam will be on Friday, October 28, 2. It will cover Sections.7,.8, 3., 3.2, 3.4 (except 3.4.), 4. and 4.2 plus the handout on calculation of high powers of an integer modulo n via successive

More information

The first property listed above is an incredibly useful tool in divisibility problems. We ll prove that it holds below.

The first property listed above is an incredibly useful tool in divisibility problems. We ll prove that it holds below. 1 Divisiility Definition 1 We say an integer is divisile y a nonzero integer a denoted a - read as a divides if there is an integer n such that = an If no such n exists, we say is not divisile y a denoted

More information

Decoding Procedure for BCH, Alternant and Goppa Codes defined over Semigroup Ring

Decoding Procedure for BCH, Alternant and Goppa Codes defined over Semigroup Ring Decoding Procedure for BCH, Alternant and Goppa Codes defined over Semigroup Ring Antonio Aparecido de Andrade Department of Mathematics, IBILCE, UNESP, 15054-000, São José do Rio Preto, SP, Brazil E-mail:

More information

Information Theory. Lecture 7

Information Theory. Lecture 7 Information Theory Lecture 7 Finite fields continued: R3 and R7 the field GF(p m ),... Cyclic Codes Intro. to cyclic codes: R8.1 3 Mikael Skoglund, Information Theory 1/17 The Field GF(p m ) π(x) irreducible

More information

Objective: To become acquainted with the basic concepts of cyclic codes and some aspects of encoder implementations for them.

Objective: To become acquainted with the basic concepts of cyclic codes and some aspects of encoder implementations for them. ECE 7670 Lecture 5 Cyclic codes Objective: To become acquainted with the basic concepts of cyclic codes and some aspects of encoder implementations for them. Reading: Chapter 5. 1 Cyclic codes Definition

More information

Orthogonal Arrays & Codes

Orthogonal Arrays & Codes Orthogonal Arrays & Codes Orthogonal Arrays - Redux An orthogonal array of strength t, a t-(v,k,λ)-oa, is a λv t x k array of v symbols, such that in any t columns of the array every one of the possible

More information

Chapter 7. Error Control Coding. 7.1 Historical background. Mikael Olofsson 2005

Chapter 7. Error Control Coding. 7.1 Historical background. Mikael Olofsson 2005 Chapter 7 Error Control Coding Mikael Olofsson 2005 We have seen in Chapters 4 through 6 how digital modulation can be used to control error probabilities. This gives us a digital channel that in each

More information

Solutions or answers to Final exam in Error Control Coding, October 24, G eqv = ( 1+D, 1+D + D 2)

Solutions or answers to Final exam in Error Control Coding, October 24, G eqv = ( 1+D, 1+D + D 2) Solutions or answers to Final exam in Error Control Coding, October, Solution to Problem a) G(D) = ( +D, +D + D ) b) The rate R =/ and ν i = ν = m =. c) Yes, since gcd ( +D, +D + D ) =+D + D D j. d) An

More information

1Number ONLINE PAGE PROOFS. systems: real and complex. 1.1 Kick off with CAS

1Number ONLINE PAGE PROOFS. systems: real and complex. 1.1 Kick off with CAS 1Numer systems: real and complex 1.1 Kick off with CAS 1. Review of set notation 1.3 Properties of surds 1. The set of complex numers 1.5 Multiplication and division of complex numers 1.6 Representing

More information

Computer Algebra for Computer Engineers

Computer Algebra for Computer Engineers p.1/23 Computer Algebra for Computer Engineers Galois Fields: GF(2 m ) Priyank Kalla Department of Electrical and Computer Engineering University of Utah, Salt Lake City p.2/23 Galois Fields A Galois Field

More information

Introduction to Wireless & Mobile Systems. Chapter 4. Channel Coding and Error Control Cengage Learning Engineering. All Rights Reserved.

Introduction to Wireless & Mobile Systems. Chapter 4. Channel Coding and Error Control Cengage Learning Engineering. All Rights Reserved. Introduction to Wireless & Mobile Systems Chapter 4 Channel Coding and Error Control 1 Outline Introduction Block Codes Cyclic Codes CRC (Cyclic Redundancy Check) Convolutional Codes Interleaving Information

More information

New algebraic decoding method for the (41, 21,9) quadratic residue code

New algebraic decoding method for the (41, 21,9) quadratic residue code New algebraic decoding method for the (41, 21,9) quadratic residue code Mohammed M. Al-Ashker a, Ramez Al.Shorbassi b a Department of Mathematics Islamic University of Gaza, Palestine b Ministry of education,

More information

ECE 4450:427/527 - Computer Networks Spring 2017

ECE 4450:427/527 - Computer Networks Spring 2017 ECE 4450:427/527 - Computer Networks Spring 2017 Dr. Nghi Tran Department of Electrical & Computer Engineering Lecture 5.2: Error Detection & Correction Dr. Nghi Tran (ECE-University of Akron) ECE 4450:427/527

More information

Cyclic Redundancy Check Codes

Cyclic Redundancy Check Codes Cyclic Redundancy Check Codes Lectures No. 17 and 18 Dr. Aoife Moloney School of Electronics and Communications Dublin Institute of Technology Overview These lectures will look at the following: Cyclic

More information

Codes used in Cryptography

Codes used in Cryptography Prasad Krishnan Signal Processing and Communications Research Center, International Institute of Information Technology, Hyderabad March 29, 2016 Outline Coding Theory and Cryptography Linear Codes Codes

More information

ELEC 519A Selected Topics in Digital Communications: Information Theory. Hamming Codes and Bounds on Codes

ELEC 519A Selected Topics in Digital Communications: Information Theory. Hamming Codes and Bounds on Codes ELEC 519A Selected Topics in Digital Communications: Information Theory Hamming Codes and Bounds on Codes Single Error Correcting Codes 2 Hamming Codes (7,4,3) Hamming code 1 0 0 0 0 1 1 0 1 0 0 1 0 1

More information

Proof: Let the check matrix be

Proof: Let the check matrix be Review/Outline Recall: Looking for good codes High info rate vs. high min distance Want simple description, too Linear, even cyclic, plausible Gilbert-Varshamov bound for linear codes Check matrix criterion

More information

Lecture 12: November 6, 2017

Lecture 12: November 6, 2017 Information and Coding Theory Autumn 017 Lecturer: Madhur Tulsiani Lecture 1: November 6, 017 Recall: We were looking at codes of the form C : F k p F n p, where p is prime, k is the message length, and

More information

RON M. ROTH * GADIEL SEROUSSI **

RON M. ROTH * GADIEL SEROUSSI ** ENCODING AND DECODING OF BCH CODES USING LIGHT AND SHORT CODEWORDS RON M. ROTH * AND GADIEL SEROUSSI ** ABSTRACT It is shown that every q-ary primitive BCH code of designed distance δ and sufficiently

More information

Communications II Lecture 9: Error Correction Coding. Professor Kin K. Leung EEE and Computing Departments Imperial College London Copyright reserved

Communications II Lecture 9: Error Correction Coding. Professor Kin K. Leung EEE and Computing Departments Imperial College London Copyright reserved Communications II Lecture 9: Error Correction Coding Professor Kin K. Leung EEE and Computing Departments Imperial College London Copyright reserved Outline Introduction Linear block codes Decoding Hamming

More information

17 Galois Fields Introduction Primitive Elements Roots of Polynomials... 8

17 Galois Fields Introduction Primitive Elements Roots of Polynomials... 8 Contents 17 Galois Fields 2 17.1 Introduction............................... 2 17.2 Irreducible Polynomials, Construction of GF(q m )... 3 17.3 Primitive Elements... 6 17.4 Roots of Polynomials..........................

More information

Linear Equations in Linear Algebra

Linear Equations in Linear Algebra 1 Linear Equations in Linear Algebra 1.1 SYSTEMS OF LINEAR EQUATIONS LINEAR EQUATION,, 1 n A linear equation in the variables equation that can be written in the form a a a b 1 1 2 2 n n a a is an where

More information

EECS Components and Design Techniques for Digital Systems. Lec 26 CRCs, LFSRs (and a little power)

EECS Components and Design Techniques for Digital Systems. Lec 26 CRCs, LFSRs (and a little power) EECS 150 - Components and esign Techniques for igital Systems Lec 26 CRCs, LFSRs (and a little power) avid Culler Electrical Engineering and Computer Sciences University of California, Berkeley http://www.eecs.berkeley.edu/~culler

More information

CS6304 / Analog and Digital Communication UNIT IV - SOURCE AND ERROR CONTROL CODING PART A 1. What is the use of error control coding? The main use of error control coding is to reduce the overall probability

More information

Outline. EECS Components and Design Techniques for Digital Systems. Lec 18 Error Coding. In the real world. Our beautiful digital world.

Outline. EECS Components and Design Techniques for Digital Systems. Lec 18 Error Coding. In the real world. Our beautiful digital world. Outline EECS 150 - Components and esign Techniques for igital Systems Lec 18 Error Coding Errors and error models Parity and Hamming Codes (SECE) Errors in Communications LFSRs Cyclic Redundancy Check

More information

Solving Systems of Linear Equations Symbolically

Solving Systems of Linear Equations Symbolically " Solving Systems of Linear Equations Symolically Every day of the year, thousands of airline flights crisscross the United States to connect large and small cities. Each flight follows a plan filed with

More information

Solutions to problems from Chapter 3

Solutions to problems from Chapter 3 Solutions to problems from Chapter 3 Manjunatha. P manjup.jnnce@gmail.com Professor Dept. of ECE J.N.N. College of Engineering, Shimoga February 28, 2016 For a systematic (7,4) linear block code, the parity

More information

: Coding Theory. Notes by Assoc. Prof. Dr. Patanee Udomkavanich October 30, upattane

: Coding Theory. Notes by Assoc. Prof. Dr. Patanee Udomkavanich October 30, upattane 2301532 : Coding Theory Notes by Assoc. Prof. Dr. Patanee Udomkavanich October 30, 2006 http://pioneer.chula.ac.th/ upattane Chapter 1 Error detection, correction and decoding 1.1 Basic definitions and

More information

Fully-parallel linear error block coding and decoding a Boolean approach

Fully-parallel linear error block coding and decoding a Boolean approach Fully-parallel linear error block coding and decoding a Boolean approach Hermann Meuth, Hochschule Darmstadt Katrin Tschirpke, Hochschule Aschaffenburg 8th International Workshop on Boolean Problems, 28

More information