 | 2012 |
| 7 |  | Biruk Mammo,
Debapriya Chatterjee,
Dmitry Pidan,
Amir Nahir,
Avi Ziv,
Ronny Morad,
Valeria Bertacco:
Approximating checkers for simulation acceleration.
DATE 2012: 153-158 |
| 2011 |
| 6 |  | Debapriya Chatterjee,
Calvin McCarter,
Valeria Bertacco:
Simulation-based signal selection for state restoration in silicon debug.
ICCAD 2011: 595-601 |
| 5 |  | Debapriya Chatterjee,
Andrew DeOrio,
Valeria Bertacco:
Gate-Level Simulation with GPU Computing.
ACM Trans. Design Autom. Electr. Syst. 16(3): 30 (2011) |
| 2010 |
| 4 |  | Debapriya Chatterjee,
Valeria Bertacco:
EQUIPE: Parallel equivalence checking with GP-GPUs.
ICCD 2010: 486-493 |
| 2009 |
| 3 |  | Debapriya Chatterjee,
Andrew DeOrio,
Valeria Bertacco:
Event-driven gate-level simulation with GP-GPUs.
DAC 2009: 557-562 |
| 2 |  | Debapriya Chatterjee,
Andrew DeOrio,
Valeria Bertacco:
GCS: High-performance gate-level simulation with GPGPUs.
DATE 2009: 1332-1337 |
| 1 |  | Debapriya Chatterjee,
Valeria Bertacco:
Activity-based refinement for abstraction-guided simulation.
HLDVT 2009: 146-153 |