2009 |
6 | EE | Rajdeep Mukhopadhyay,
S. K. Panda,
Pallab Dasgupta,
John Gough:
Instrumenting AMS assertion verification on commercial platforms.
ACM Trans. Design Autom. Electr. Syst. 14(2): (2009) |
2008 |
5 | EE | J.-X. Xu,
B. Ashok,
S. K. Panda,
V. Bajic:
Modeling transcription termination of selected gene groups using support vector machine.
IJCNN 2008: 384-389 |
4 | EE | S. K. Panda,
Arnab Roy,
P. P. Chakrabarti,
Rajeev Kumar:
Simulation-based verification using Temporally Attributed Boolean Logic.
ACM Trans. Design Autom. Electr. Syst. 13(4): (2008) |
2007 |
3 | EE | S. K. Panda,
Arnab Roy,
P. P. Chakrabarti,
Rajeev Kumar:
Simulation Based Verification using Temporally Attributed Boolean Logic.
VLSI Design 2007: 57-62 |
2006 |
2 | EE | Rajeev Kumar,
Rahul Chaudhry,
Dipankar Das,
Vibha Rathi,
S. K. Panda,
P. P. Chakrabarti:
SystemC Modeling and Validation of A RISC Processor System.
FDL 2006: 189-197 |
2005 |
1 | EE | Arnab Roy,
S. K. Panda,
Rajeev Kumar,
P. P. Chakrabarti:
A framework for systematic validation and debugging of pipeline simulators.
ACM Trans. Design Autom. Electr. Syst. 10(3): 462-491 (2005) |