Double error correcting (DEC) BCH encoder / decoder