Jinpeng Lv

Scalable formal verification of finite field arithmetic circuits using computer algebra techniques

Priyank Kalla, Jinpeng Lv, P. Kalla, 2012 .

Performance Degradation Analysis of GPU Kernels

Guodong Li, Ganesh Gopalakrishnan, Alan Humphrey, 2012 .

Efficient Gröbner basis reductions for formal verification of galois field multipliers

Priyank Kalla, Florian Enescu, Jinpeng Lv, 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Efficient Gröbner Basis Reductions for Formal Verification of Galois Field Arithmetic Circuits

Priyank Kalla, Florian Enescu, Jinpeng Lv, 2013, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Extended Version of a Paper Accepted for Publication in Ieee Trans. on Cad, Accepted March 2013 1 Efficient Gr¨obner Basis Reductions for Formal Verification of Galois Field Arithmetic Circuits

Priyank Kalla, Florian Enescu, P. Kalla, 2013 .

Formal Verification of Galois Field Multipliers Using Computer Algebra Techniques

Priyank Kalla, Jinpeng Lv, P. Kalla, 2012, 2012 25th International Conference on VLSI Design.