 | 2011 |
|---|
| 4 |       | Antara Ain,
Debjit Pal,
Pallab Dasgupta,
Siddhartha Mukhopadhyay,
Rajdeep Mukhopadhyay,
John Gough:
Chassis: A Platform for Verifying PMU Integration Using Autogenerated Behavioral Models.
ACM Trans. Design Autom. Electr. Syst. 16(3): 33 (2011) |
| 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page