Skip to content

Sivaram Gopalakrishnan

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

6

Venues

4

Active years

2005–2009

Best venue rank

A

Where they publish

Papers

6 indexed papers, newest first.

YearVenueTitleAuthors
2009DATEAlgebraic techniques to enhance common sub-expression elimination for polynomial system synthesis.Sivaram Gopalakrishnan, Priyank Kalla
2008ICCADVerification of arithmetic datapaths using polynomial function models and congruence solving.Neal Tew, Priyank Kalla, Namrata Shekhar, Sivaram Gopalakrishnan
2007ASPDACOptimization of Arithmetic Datapaths with Finite Word-Length Operands.Sivaram Gopalakrishnan, Priyank Kalla, Florian Enescu
2007ICCADFinding linear building-blocks for RTL synthesis of polynomial datapaths with fixed-size bit-vectors.Sivaram Gopalakrishnan, Priyank Kalla, M. Brandon Meredith, Florian Enescu
2005ICCADEquivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra.Namrata Shekhar, Priyank Kalla, Florian Enescu, Sivaram Gopalakrishnan
2005ICCDExploiting Vanishing Polynomials for Equivalence Veri.cation of Fixed-Size Arithmetic Datapaths.Namrata Shekhar, Priyank Kalla, Sivaram Gopalakrishnan, Florian Enescu