A Formal Verification Method of Error Correction Code Processors Over Galois-Field Arithmetic.
Rei UenoNaofumi HommaTakafumi AokiPublished in: J. Multiple Valued Log. Soft Comput. (2016)
Keyphrases
- error correction
- galois field
- verification method
- error correcting
- cellular automata
- error detection
- reed solomon
- error control
- error correcting codes
- model checking
- temporal logic
- ldpc codes
- magnetic tape
- block codes
- s box
- bit errors
- channel coding
- turbo codes
- data hiding
- watermarking scheme
- error detection and correction
- fault tolerance
- coding scheme
- efficient implementation
- instruction scheduling
- low density parity check
- recursive algorithm