3 papers
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…
cs.AR2017
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…