activity
20162019
most citedEfficient Parallel Verification of Galois Field Multipliers

1 citations · 1 across the 5 of their papers we have counts for

collaborators
Showing 2018Show all

1 paper · 1 filter

cs.SC2018

Formal Analysis of Galois Field Arithmetics - Parallel Verification and Reverse Engineering

Cunxi Yu, Maciej Ciesielski

Galois field (GF) arithmetic circuits find numerous applications in communications, signal processing, and security engineering. Formal verification techniques of GF circuits are s…