1 citations · 1 across the 5 of their papers we have counts for
5 papers
Spectral Approach to Verifying Non-linear Arithmetic Circuits
Cunxi Yu, Tiankai Su, Atif Yasin +1
This paper presents a fast and effective computer algebraic method for analyzing and verifying non-linear integer arithmetic circuits using a novel algebraic spectral model. It int…
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…
Advanced Datapath Synthesis using Graph Isomorphism
Cunxi Yu, Mihir Choudhury, Andrew Sullivan +1
This paper presents an advanced DAG-based algorithm for datapath synthesis that targets area minimization using logic-level resource sharing. The problem of identifying common spec…
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…
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…