research
∙
01/09/2019
Spectral Approach to Verifying Non-linear Arithmetic Circuits
This paper presents a fast and effective computer algebraic method for a...
share
research
∙
02/16/2018
Formal Analysis of Galois Field Arithmetics - Parallel Verification and Reverse Engineering
Galois field (GF) arithmetic circuits find numerous applications in comm...
research
∙
08/31/2017
Advanced Datapath Synthesis using Graph Isomorphism
This paper presents an advanced DAG-based algorithm for datapath synthes...
research
∙
12/14/2016
Reverse Engineering of Irreducible Polynomials in GF(2^m) Arithmetic
Current techniques for formally verifying circuits implemented in Galois...
research
∙
11/16/2016