2 citations · 6 across the 9 of their papers we have counts for
Showing cs.SCShow all
2 papers · 1 filter
cs.SC2019
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…
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…