S. R. Pentakota

According to our database, S. R. Pentakota authored at least 2 papers in 2006.

Collaborative distances:

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

2006

Verification of Scheduling in High-level Synthesis.

Chandan Karfa, Chittaranjan A. Mandal, Dipankar Sarkar, S. R. Pentakota, Chris Reade

Proceedings of the 2006 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2006), 2006

A Formal Verification Method of Scheduling in High-level Synthesis.

Chandan Karfa, Chittaranjan A. Mandal, Dipankar Sarkar, S. R. Pentakota, Chris Reade

Proceedings of the 7th International Symposium on Quality of Electronic Design (ISQED 2006), 2006