| |
| 2007 | ||
|---|---|---|
| 1 | 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 |
| 1 | Lovleen Bhatia | [1] |
| 2 | Sunil H. Matange | [1] |
| 3 | Raj S. Mitra | [1] |
| 4 | Praveen Tiwari | [1] |