111 citations · 117 across the 7 of their papers we have counts for
1 paper · 2 filters
Cunxi Yu, Daniel Holcomb, Maciej Ciesielski
Current techniques for formally verifying circuits implemented in Galois field (GF) arithmetic are limited to those with a known irreducible polynomial P(x). This paper presents a…