Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra N Shekhar, P Kalla, F Enescu, S Gopalakrishnan ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005 …, 2005 | 48 | 2005 |
Finding linear building-blocks for RTL synthesis of polynomial datapaths with fixed-size bit-vectors S Gopalakrishnan, P Kalla, MB Meredith, F Enescu 2007 IEEE/ACM International Conference on Computer-Aided Design, 143-148, 2007 | 22 | 2007 |
Optimization of polynomial datapaths using finite ring algebra S Gopalakrishnan, P Kalla ACM Transactions on Design Automation of Electronic Systems (TODAES) 12 (4 …, 2007 | 18 | 2007 |
Integrating CNF and BDD based SAT solvers S Gopalakrishnan, V Durairaj, P Kalla Eighth IEEE International High-Level Design Validation and Test Workshop, 51-56, 2003 | 15 | 2003 |
Exploiting biological nitrogen fixation: a route towards a sustainable agriculture. Plants, 9 (8), 1011 A Soumare, AG Diedhiou, M Thuita, M Hafidi, Y Ouhdouch, ... | 13 | 2020 |
Verification of arithmetic datapaths using polynomial function models and congruence solving N Tew, P Kalla, N Shekhar, S Gopalakrishnan 2008 IEEE/ACM International Conference on Computer-Aided Design, 122-128, 2008 | 12 | 2008 |
Exploiting vanishing polynomials for equivalence verification of fixed-size arithmetic datapaths N Shekhar, P Kalla, F Enescu, S Gopalakrishnan 2005 International Conference on Computer Design, 215-220, 2005 | 11 | 2005 |
Algebraic techniques to enhance common sub-expression elimination for polynomial system synthesis S Gopalakrishnan, P Kalla 2009 Design, Automation & Test in Europe Conference & Exhibition, 1452-1457, 2009 | 10 | 2009 |
Optimization of arithmetic datapaths with finite word-length operands S Gopalakrishnan, P Kalla, F Enescu 2007 Asia and South Pacific Design Automation Conference, 511-516, 2007 | 4 | 2007 |
2009 ACM TODAES best paper award: Optimization of polynomial datapaths using finite ring algebra S Gopalakrishnan, P Kalla ACM Transactions on Design Automation of Electronic Systems (TODAES) 14 (4), 1-1, 2009 | 1 | 2009 |
Teaching a HOL course: Experience report K Slind, S Barrus, S Choe, C Condrat, J Duan, S Gopalakrishnan, A Knoll, ... Theorem Proving in Higher Order Logics: Emerging Trends Proceedings, 170, 2005 | 1 | 2005 |
Algebraic Techniques to Enhance Common Sub-expression Extraction for Polynomial System Synthesis S Gopalakrishnan, P Kalla Advanced Techniques in Logic Synthesis, Optimizations and Applications, 251-266, 2010 | | 2010 |
Article 47 (1 page)-2009 ACM TODAES Best Paper Award S Gopalakrishnan, P Kalla ACM Transactions on Design Automation of Electronic Systems 14 (4), 2009 | | 2009 |
High-level synthesis of polynomial datapaths using finite integer algebras S Gopalakrishnan University of Utah, 2008 | | 2008 |
An Integrated Approach to Boolean Satisfiability S Gopalakrishnan Department of Electrical and Computer Engineering, University of Utah, 2004 | | 2004 |
BDD-Based Boolean Satisfiability using Search Space Pruning S Gopalakrishnan, V Durairaj, P Kalla | | |
Application of Power-Management Techniques for Low Power Processor Design S Gopalakrishnan, C Condrat, E Ly | | |