Searching for authors named "Sivaram Gopalakrishnan" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Application of Power-Management Techniques for Low Power Processor Design
- …Application of Power-Management Techniques for Low Power Processor Design Sivaram Gopalakrishnan…
- Add To MetaCart
-
Equivalence Verification of Polynomial Datapaths with Fixed-Size Bit-Vectors using Finite Ring Algebra
- … ALGEBRA Namrata Shekhar ∗ , Priyank Kalla ∗ , Florian Enescu † and Sivaram Gopalakrishnan ∗ Abstract…
- Cited by 5 (4 self) – Add To MetaCart
-
Exploiting vanishing polynomials for equivalence verification of fixed-size arithmetic datapaths
- … ∗ Namrata Shekhar 1 , Priyank Kalla 1 , Florian Enescu 2 , Sivaram Gopalakrishnan 1 1 Department…
- Cited by 2 (2 self) – Add To MetaCart
-
P.: “Integrating CNF and BDD Based SAT Solvers
- …Integrating CNF and BDD Based SAT Solvers Sivaram Gopalakrishnan, Vijay Durairaj and Priyank Kalla…
- Cited by 1 (0 self) – Add To MetaCart
-
Optimization of arithmetic datapaths with finite word-length operands
- …Optimization of Arithmetic Datapaths with Finite Word-Length Operands ∗ Sivaram Gopalakrishnan 1…
- Cited by 1 (1 self) – Add To MetaCart
-
2005, ‘Teaching a HOL Course: Experience Report
- … Condrat, Jianjun Duan, Sivaram Gopalakrishnan, Aaron Knoll, Hiro Kuwahara, Guodong Li, Scott Little, Lei…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 6.
