 | 2010 |
|---|
| 3 |       | Rajdeep Mukhopadhyay,
Anvesh Komuravelli,
Pallab Dasgupta,
S. K. Panda,
Siddhartha Mukhopadhyay:
A static verification approach for architectural integration of mixed-signal integrated circuits.
Integration 43(1): 58-71 (2010) |
| 2009 |
|---|
| 2 | | 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 |
| 1 | | 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) |
