2008 |
4 | EE | Sudipta Kundu,
Sorin Lerner,
Rajesh Gupta:
Validating High-Level Synthesis.
CAV 2008: 459-472 |
3 | EE | Sudipta Kundu,
Malay K. Ganai,
Rajesh Gupta:
Partial order reduction for scalable testing of systemC TLM designs.
DAC 2008: 936-941 |
2007 |
2 | EE | Sudipta Kundu,
Sorin Lerner,
Rajesh Gupta:
Automated refinement checking of concurrent systems.
ICCAD 2007: 318-325 |
2004 |
1 | EE | Gurashish Singh Brar,
Susmit Biswas,
Sudipta Kundu,
Arijit Mukhopadhyay,
Pratik Worah,
Anupam Basu:
OaSis: An Application Specific Operating System for an Embedded Environment.
VLSI Design 2004: 776-779 |