| |
| 2007 | ||
|---|---|---|
| 2 | EE | Lovleen Bhatia, Jayesh Gaur, Praveen Tiwari, Raj S. Mitra, Sunil H. Matange: Leveraging Semi-Formal and Sequential Equivalence Techniques for Multimedia SOC Performance Validation. DAC 2007: 69-74 |
| 2006 | ||
| 1 | EE | Saurav Gorai, Saptarshi Biswas, Lovleen Bhatia, Praveen Tiwari, Raj S. Mitra: Directed-simulation assisted formal verification of serial protocol and bridge. DAC 2006: 731-736 |
| 1 | Saptarshi Biswas | [1] |
| 2 | Jayesh Gaur | [2] |
| 3 | Saurav Gorai | [1] |
| 4 | Sunil H. Matange | [2] |
| 5 | Raj S. Mitra | [1] [2] |
| 6 | Praveen Tiwari | [1] [2] |