Sivaram Gopalakrishnan

According to our database, Sivaram Gopalakrishnan authored at least 9 papers between 2003 and 2009.

Collaborative distances:

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

2009

2009 ACM TODAES best paper award: Optimization of polynomial datapaths using finite ring algebra.

Sivaram Gopalakrishnan, Priyank Kalla

ACM Trans. Design Autom. Electr. Syst., 2009

Algebraic techniques to enhance common sub-expression elimination for polynomial system synthesis.

Sivaram Gopalakrishnan, Priyank Kalla

Proceedings of the Design, Automation and Test in Europe, 2009

2008

Verification of arithmetic datapaths using polynomial function models and congruence solving.

Neal Tew, Priyank Kalla, Namrata Shekhar, Sivaram Gopalakrishnan

Proceedings of the 2008 International Conference on Computer-Aided Design, 2008

2007

Optimization of polynomial datapaths using finite ring algebra.

Sivaram Gopalakrishnan, Priyank Kalla

ACM Trans. Design Autom. Electr. Syst., 2007

Finding linear building-blocks for RTL synthesis of polynomial datapaths with fixed-size bit-vectors.

Sivaram Gopalakrishnan, Priyank Kalla, M. Brandon Meredith, Florian Enescu

Proceedings of the 2007 International Conference on Computer-Aided Design, 2007

Optimization of Arithmetic Datapaths with Finite Word-Length Operands.

Sivaram Gopalakrishnan, Priyank Kalla, Florian Enescu

Proceedings of the 12th Conference on Asia South Pacific Design Automation, 2007

2005

Exploiting Vanishing Polynomials for Equivalence Veri.cation of Fixed-Size Arithmetic Datapaths.

Namrata Shekhar, Priyank Kalla, Sivaram Gopalakrishnan, Florian Enescu

Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra.

Namrata Shekhar, Priyank Kalla, Florian Enescu, Sivaram Gopalakrishnan

Proceedings of the 2005 International Conference on Computer-Aided Design, 2005

2003

Integrating CNF and BDD based SAT solvers.

Sivaram Gopalakrishnan, Vijay Durairaj, Priyank Kalla

Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003