| * | 2009 |
|---|
| 7 | EE | Subhankar Mukherjee,
Antara Ain,
S. K. Panda,
Rajdeep Mukhopadhyay,
Pallab Dasgupta:
A formal approach for specification-driven AMS behavioral model generation.
DATE 2009: 1512-1517 |
| 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) |
