activity
20162023
most citedFlowTune: End-to-end Automatic Logic Optimization Exploration via Domain-specific Multi-armed Bandit

28 citations · 38 across the 18 of their papers we have counts for

collaborators
Showing 2016Show all

2 papers · 1 filter

cs.SC2016

Reverse Engineering of Irreducible Polynomials in GF(2^m) Arithmetic

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…

cs.SC2016★ 1 cited

Efficient Parallel Verification of Galois Field Multipliers

Cunxi Yu, Maciej Ciesielski

Galois field (GF) arithmetic is used to implement critical arithmetic components in communication and security-related hardware, and verification of such components is of prime imp…