Tim Pruss

According to our database, Tim Pruss authored at least 3 papers between 2014 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

Efficient Symbolic Computation for Word-Level Abstraction From Combinational Circuits for Verification Over Finite Fields.

Tim Pruss, Priyank Kalla, Florian Enescu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016

2015

Formal verification of sequential Galois field arithmetic circuits using algebraic geometry.

Xiaojun Sun, Priyank Kalla, Tim Pruss, Florian Enescu

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014

Equivalence Verification of Large Galois Field Arithmetic Circuits using Word-Level Abstraction via Gröbner Bases.

Tim Pruss, Priyank Kalla, Florian Enescu

Proceedings of the 51st Annual Design Automation Conference 2014, 2014