Login / Signup
Tim Pruss
Publication Activity (10 Years)
Years Active: 2014-2016
Publications (10 Years): 1
Top Topics
Galois Field
Word Segmentation
Word Level
Numerically Stable
Top Venues
DATE
DAC
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
</>
Publications
</>
Tim Pruss
,
Priyank Kalla
,
Florian Enescu
Efficient Symbolic Computation for Word-Level Abstraction From Combinational Circuits for Verification Over Finite Fields.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
35 (7) (2016)
Xiaojun Sun
,
Priyank Kalla
,
Tim Pruss
,
Florian Enescu
Formal verification of sequential Galois field arithmetic circuits using algebraic geometry.
DATE
(2015)
Tim Pruss
,
Priyank Kalla
,
Florian Enescu
Equivalence Verification of Large Galois Field Arithmetic Circuits using Word-Level Abstraction via Gröbner Bases.
DAC
(2014)