Priyank Kalla - RankMe

65 papers A* 1A 20B 5C 4Misc 3Journal 11Unranked 20

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	An Algebraic Approach to Partial Synthesis of Arithmetic Circuits. ASP-DAC Bhavani Sampathkumar, Ritaja Das, Bailey Martin, Florian Enescu, Priyank Kalla
2025	B	`conf`	Design-for-Test and Calibration for Silicon Photonics using Ring Resonators and Wavelength Division Multiplexing. ETS Pratishtha Agnihotri, Lawrence M. Schlitt, Priyank Kalla, Steve Blair
2025	A	`conf`	Silicon Photonic Test-Point Selection by Integrating Design Parameters with Hypergraph Partitioning. ITC Lawrence M. Schlitt, Pratishtha Agnihotri, Priyank Kalla, Steve Blair
2024	A	`conf`	Design-for-Test for Silicon Photonic Circuits. ITC Pratishtha Agnihotri, Priyank Kalla, Steve Blair
2024	—	`conf`	Selecting Rectification Targets for Patching Buggy Circuits. VDAT Ritaja Das, Priyank Kalla
2023	—	`conf`	Abstractions for Modeling the Effects of Wall Surface Roughness in Silicon Photonic Microring Resonators. LATS Pratishtha Agnihotri, Lawrence M. Schlitt, Priyank Kalla, Steve Blair
2023	—	`conf`	Logic Synthesis from Polynomials with Coefficients in the Field of Rationals. ISMVL Bhavani Sampathkumar, Bailey Martin, Ritaja Das, Priyank Kalla, Florian Enescu
2021	C	`conf`	Algebraic Techniques for Rectification of Finite Field Circuits. VLSI-SoC Vikas Rao, Haden Ondricek, Priyank Kalla, Florian Enescu
2021	C	`conf`	Rectification of Integer Arithmetic Circuits using Computer Algebra Techniques. ICCD Vikas Rao, Haden Ondricek, Priyank Kalla, Florian Enescu
2021	—	`conf`	Word-Level Multi-Fix Rectifiability of Finite Field Arithmetic Circuits. ISQED Vikas Rao, Irina Ilioaea, Haden Ondricek, Priyank Kalla, Florian Enescu
2019	J	`jnl`	Boolean Gröbner Basis Reductions on Finite Field Datapath Circuits Using the Unate Cube Set Algebra. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Utkarsh Gupta, Priyank Kalla, Vikas Rao
2019	B	`conf`	Exploring Algebraic Interpolants for Rectification of Finite Field Arithmetic Circuits with Gröbner Bases. ETS Utkarsh Gupta, Priyank Kalla, Irina Ilioaea, Florian Enescu
2018	—	`ch.`	Emerging Circuit Technologies: An Overview on the Next Generation of Circuits. Advanced Logic Synthesis Robert Wille, Krishnendu Chakrabarty, Rolf Drechsler, Priyank Kalla
2018	C	`conf`	On the Rectifiability of Arithmetic Circuits using Craig Interpolants in Finite Fields. VLSI-SoC Utkarsh Gupta, Irina Ilioaea, Vikas Rao, Arpitha Srinath, Priyank Kalla, Florian Enescu
2018	B	`conf`	Post-Verification Debugging and Rectification of Finite Field Arithmetic Circuits using Computer Algebra Techniques. FMCAD Vikas Rao, Utkarsh Gupta, Irina Ilioaea, Arpitha Srinath, Priyank Kalla, Florian Enescu
2018	—	`conf`	Rectification of Arithmetic Circuits with Craig Interpolants in Finite Fields. VLSI-SoC (Selected Papers) Utkarsh Gupta, Irina Ilioaea, Vikas Rao, Arpitha Srinath, Priyank Kalla, Florian Enescu
2016	Misc	`conf`	A Methodology for Thermal Characterization Abstraction of Integrated Opto-Electronic Layouts. VLSID Lawrence M. Schlitt, Priyank Kalla, Steve Blair
2016	J	`jnl`	Efficient Symbolic Computation for Word-Level Abstraction From Combinational Circuits for Verification Over Finite Fields. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Tim Pruss, Priyank Kalla, Florian Enescu
2016	A	`conf`	Finding Unsatisfiable Cores of a Set of Polynomials Using the Gröbner Basis Algorithm. CP Xiaojun Sun, Irina Ilioaea, Priyank Kalla, Florian Enescu
2016	—	`conf`	Word-level traversal of finite state machines using algebraic geometry. HLDVT Xiaojun Sun, Priyank Kalla, Florian Enescu
2015	A	`conf`	DA Vision 2015: From Here to Eternity. ICCAD Miodrag Potkonjak, Deming Chen, Priyank Kalla, Steven P. Levitan
2015	B	`conf`	Formal Verification of Arithmetic Datapaths using Algebraic Geometry and Symbolic Computation. FMCAD Priyank Kalla
2015	A	`conf`	Formal verification of sequential Galois field arithmetic circuits using algebraic geometry. DATE Xiaojun Sun, Priyank Kalla, Tim Pruss, Florian Enescu
2014	J	`jnl`	Crossing-Aware Channel Routing for Integrated Optics. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Christopher Condrat, Priyank Kalla, Steve Blair
2014	A*	`conf`	Equivalence Verification of Large Galois Field Arithmetic Circuits using Word-Level Abstraction via Gröbner Bases. DAC Tim Pruss, Priyank Kalla, Florian Enescu
2014	A	`conf`	Thermal-aware synthesis of integrated photonic ring resonators. ICCAD Christopher Condrat, Priyank Kalla, Steve Blair
2013	—	`conf`	Channel routing for integrated optics. SLIP Christopher Condrat, Priyank Kalla, Steve Blair
2013	—	`conf`	Crossing-aware channel routing for photonic waveguides. MWSCAS Christopher Condrat, Priyank Kalla, Steve Blair
2013	J	`jnl`	Efficient Gröbner Basis Reductions for Formal Verification of Galois Field Arithmetic Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jinpeng Lv, Priyank Kalla, Florian Enescu
2012	—	`conf`	A methodology for physical design automation for integrated optics. MWSCAS Christopher Condrat, Priyank Kalla, Steve Blair
2012	A	`conf`	Efficient Gröbner basis reductions for formal verification of galois field multipliers. DATE Jinpeng Lv, Priyank Kalla, Florian Enescu
2012	Misc	`conf`	Formal Verification of Galois Field Multipliers Using Computer Algebra Techniques. VLSI Design Jinpeng Lv, Priyank Kalla
2011	—	`conf`	Logic synthesis for integrated optics. ACM Great Lakes Symposium on VLSI Christopher Condrat, Priyank Kalla, Steve Blair
2011	—	`conf`	Verification of composite Galois field multipliers over GF ((2 HLDVT Jinpeng Lv, Priyank Kalla, Florian Enescu
2009	J	`jnl`	2009 ACM TODAES best paper award: Optimization of polynomial datapaths using finite ring algebra. ACM Trans. Design Autom. Electr. Syst. Sivaram Gopalakrishnan, Priyank Kalla
2009	A	`conf`	Algebraic techniques to enhance common sub-expression elimination for polynomial system synthesis. DATE Sivaram Gopalakrishnan, Priyank Kalla
2009	—	`conf`	Chairs' welcome message. HLDVT Priyank Kalla, Prabhat Mishra
2008	J	`jnl`	Simulation Bounds for Equivalence Verification of Polynomial Datapaths Using Finite Ring Algebra. IEEE Trans. Very Large Scale Integr. Syst. Namrata Shekhar, Priyank Kalla, M. Brandon Meredith, Florian Enescu
2008	A	`conf`	Verification of arithmetic datapaths using polynomial function models and congruence solving. ICCAD Neal Tew, Priyank Kalla, Namrata Shekhar, Sivaram Gopalakrishnan
2007	A	`conf`	A Gröbner Basis Approach to CNF-Formulae Preprocessing. TACAS Christopher Condrat, Priyank Kalla
2007	A	`conf`	Finding linear building-blocks for RTL synthesis of polynomial datapaths with fixed-size bit-vectors. ICCAD Sivaram Gopalakrishnan, Priyank Kalla, M. Brandon Meredith, Florian Enescu
2007	—	`conf`	Optimization of Arithmetic Datapaths with Finite Word-Length Operands. ASP-DAC Sivaram Gopalakrishnan, Priyank Kalla, Florian Enescu
2007	J	`jnl`	Optimization of polynomial datapaths using finite ring algebra. ACM Trans. Design Autom. Electr. Syst. Sivaram Gopalakrishnan, Priyank Kalla
2006	A	`conf`	Equivalence verification of arithmetic datapaths with multiple word-length operands. DATE Namrata Shekhar, Priyank Kalla, Florian Enescu
2006	—	`conf`	Guiding CNF-SAT Search by Analyzing Constraint-Variable Dependencies and Clause Lengths. HLDVT Vijay Durairaj, Priyank Kalla
2006	B	`conf`	Simulation Bounds for Equivalence Verification of Arithmetic Datapaths with Finite Word-Length Operands. FMCAD Namrata Shekhar, Priyank Kalla, M. Brandon Meredith, Florian Enescu
2006	J	`jnl`	Taylor Expansion Diagrams: A Canonical Representation for Verification of Data Flow Designs. IEEE Trans. Computers Maciej J. Ciesielski, Priyank Kalla, Serkan Askar
2005	A	`conf`	Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra. ICCAD Namrata Shekhar, Priyank Kalla, Florian Enescu, Sivaram Gopalakrishnan
2005	C	`conf`	Exploiting Vanishing Polynomials for Equivalence Veri.cation of Fixed-Size Arithmetic Datapaths. ICCD Namrata Shekhar, Priyank Kalla, Sivaram Gopalakrishnan, Florian Enescu
2005	A	`conf`	Variable Ordering for Efficient SAT Search by Analyzing Constraint-Variable Dependencies. SAT Vijay Durairaj, Priyank Kalla
2004	—	`conf`	Dynamic analysis of constraint-variable dependencies to guide SAT diagnosis. HLDVT Vijay Durairaj, Priyank Kalla
2004	—	`conf`	Exploiting hypergraph partitioning for efficient Boolean satisfiability. HLDVT Vijay Durairaj, Priyank Kalla
2004	A	`conf`	Guiding CNF-SAT search via efficient constraint partitioning. ICCAD Vijay Durairaj, Priyank Kalla
2003	—	`conf`	Integrating CNF and BDD based SAT solvers. HLDVT Sivaram Gopalakrishnan, Vijay Durairaj, Priyank Kalla
2002	J	`jnl`	A comprehensive approach to the partial scan problem using implicitstate enumeration. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Priyank Kalla, Maciej J. Ciesielski
2002	J	`jnl`	BDD-based logic synthesis for LUT-based FPGAs. ACM Trans. Design Autom. Electr. Syst. Navin Vemuri, Priyank Kalla, Russell Tessier
2002	—	`conf`	High-level design verification using Taylor Expansion Diagrams: first results. HLDVT Priyank Kalla, Maciej J. Ciesielski, Emmanuel Boutillon, Eric Martin
2002	A	`conf`	Taylor Expansion Diagrams: A Compact, Canonical Representation with Applications to Symbolic Verification. DATE Maciej J. Ciesielski, Priyank Kalla, Zhihong Zeng, Bruno Rouzeyre
2001	A	`conf`	LPSAT: a unified approach to RTL satisfiability. DATE Zhihong Zeng, Priyank Kalla, Maciej J. Ciesielski
2001	J	`jnl`	Strategies for solving the Boolean satisfiability problem using binary decision diagrams. J. Syst. Archit. Priyank Kalla, Zhihong Zeng, Maciej J. Ciesielski
2001	—	`conf`	Taylor expansion diagrams: a new representation for RTL verification. HLDVT Maciej J. Ciesielski, Priyank Kalla, Zhihong Zeng, Bruno Rouzeyre
2000	A	`conf`	A BDD-Based Satisfiability Infrastructure Using the Unate Recursive Paradigm. DATE Priyank Kalla, Zhihong Zeng, Maciej J. Ciesielski, ChiLai Huang
1999	A	`conf`	Performance Driven Resynthesis by Exploiting Retiming-Induced State Register Equivalence. DATE Priyank Kalla, Maciej J. Ciesielski
1998	A	`conf`	A comprehensive approach to the partial scan problem using implicit state enumeration. ITC Priyank Kalla, Maciej J. Ciesielski
1997	Misc	`conf`	Testability of Sequential Circuits with Multi-Cycle False Path. VTS Priyank Kalla, Maciej J. Ciesielski