Travelled to:1 × Portugal
1 × USA
1 × United Kingdom
4 × France
4 × Germany
Collaborated with:M.J.Ciesielski F.Enescu Z.Zeng T.Pruss S.Gopalakrishnan C.Condrat V.Durairaj J.Lv N.Shekhar X.Sun B.Rouzeyre C.Huang
Talks about:verif (5) arithmet (3) gröbner (3) equival (3) galoi (3) field (3) use (3) approach (2) variabl (2) satisfi (2)
Person: Priyank Kalla
DBLP: Kalla:Priyank
Contributed to:
2015
201420122009
20072006
20052002200120001999Wrote 11 papers:
- DATE-2015-SunKPE #algebra #geometry #using #verification
- Formal verification of sequential Galois field arithmetic circuits using algebraic geometry (XS, PK, TP, FE), pp. 1623–1628.
- DAC-2014-PrussKE #abstraction #equivalence #scalability #using #verification
- Equivalence Verification of Large Galois Field Arithmetic Circuits using Word-Level Abstraction via Gröbner Bases (TP, PK, FE), p. 6.
- DATE-2012-LvKE #multi #performance #reduction #verification
- Efficient Gröbner basis reductions for formal verification of galois field multipliers (JL, PK, FE), pp. 899–904.
- DATE-2009-GopalakrishnanK #algebra #polynomial #synthesis
- Algebraic techniques to enhance common sub-expression elimination for polynomial system synthesis (SG, PK), pp. 1452–1457.
- TACAS-2007-CondratK #approach #preprocessor
- A Gröbner Basis Approach to CNF-Formulae Preprocessing (CC, PK), pp. 618–631.
- DATE-2006-ShekharKE #equivalence #multi #verification
- Equivalence verification of arithmetic datapaths with multiple word-length operands (NS, PK, FE), pp. 824–829.
- SAT-2005-DurairajK #constraints #dependence #performance #satisfiability
- Variable Ordering for Efficient SAT Search by Analyzing Constraint-Variable Dependencies (VD, PK), pp. 415–422.
- DATE-2002-CiesielskiKZR #canonical #diagrams #representation #verification
- Taylor Expansion Diagrams: A Compact, Canonical Representation with Applications to Symbolic Verification (MJC, PK, ZZ, BR), pp. 285–289.
- DATE-2001-ZengKC #approach #named #satisfiability
- LPSAT: a unified approach to RTL satisfiability (ZZ, PK, MJC), pp. 398–402.
- DATE-2000-KallaZCH #framework #paradigm #recursion #satisfiability #using
- A BDD-Based Satisfiability Infrastructure Using the Unate Recursive Paradigm (PK, ZZ, MJC, CH), pp. 232–236.
- DATE-1999-KallaC #equivalence #performance
- Performance Driven Resynthesis by Exploiting Retiming-Induced State Register Equivalence (PK, MJC), pp. 638–642.