S. R. Pentakota

2006
2	EE	Chandan Karfa, Chittaranjan A. Mandal, Dipankar Sarkar, S. R. Pentakota, Chris Reade: A Formal Verification Method of Scheduling in High-level Synthesis. ISQED 2006: 71-78
1	EE	Chandan Karfa, Chittaranjan A. Mandal, Dipankar Sarkar, S. R. Pentakota, Chris Reade: Verification of Scheduling in High-level Synthesis. ISVLSI 2006: 141-146

Coauthor Index

1	Chandan Karfa	[1] [2]
2	Chittaranjan A. Mandal (Chitta Mandal)	[1] [2]
3	Chris Reade	[1] [2]
4	Dipankar Sarkar	[1] [2]