scholarly journals Formal Analysis of Galois Field Arithmetic Circuits-Parallel Verification and Reverse Engineering

2019 ◽  
Vol 38 (2) ◽  
pp. 354-365 ◽  
Author(s):  
Cunxi Yu ◽  
Maciej Ciesielski
Keyword(s):  
Reverse Engineering ◽  
Formal Analysis ◽  
Galois Field ◽  
Arithmetic Circuits ◽  
Parallel Verification

Blind Recognition of Reed-Solomon Codes Based on Histogram Statistic of Galois Field Spectra

2013 ◽  
Vol 791-793 ◽  
pp. 2088-2091
Author(s):  
Hui Xie ◽  
Feng Hua Wang ◽  
Zhi Tao Huang
Keyword(s):  
Reverse Engineering ◽  
Error Rate ◽  
Communication System ◽  
Spectral Characteristics ◽  
Galois Field ◽  
Probability Of Detection ◽  
Noisy Environment ◽  
Engineering Communication ◽  
Rs Code ◽  
Blind Recognition

We focus on the recognition of RS code in a reverse-engineering communication system, and an algorithm based on spectral statistic is proposed, which makes use of the spectral characteristics of RS code. When there are some codes with errors in the observations, the spectral histogram statistic is computed, which can improve the probability of detection in the noisy environment. Experimental results are given to illustrate the performances of the method which can get a 90% probability of detection of (255, 223) RS code in the presence of 0.5% code error rate.

Formal Approach for Verifying Galois Field Arithmetic Circuits of Higher Degrees

2017 ◽  
Vol 66 (3) ◽  
pp. 431-442 ◽  
Author(s):  
Rei Ueno ◽  
Naofumi Homma ◽  
Yukihiro Sugawara ◽  
Takafumi Aoki
Keyword(s):  
Galois Field ◽  
Arithmetic Circuits ◽  
Formal Approach
Sign in / Sign up

Export Citation Format

Share Document