| 2007 |
|---|
| 5 | 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 |
| 4 | EE | Praveen Tiwari,
Raj S. Mitra,
Manu Chopra,
Alok Jain:
Tutorial T4B: Formal Assertion-Based Verification in Industrial Setting.
VLSI Design 2007: 7 |
| 3 | EE | Praveen Tiwari,
Raj S. Mitra:
Hybrid Verification of Protocol Bridges.
IEEE Design & Test of Computers 24(2): 124-131 (2007) |
| 2006 |
|---|
| 2 | 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 | EE | Praveen Tiwari,
Saptarshi Biswas,
Raj S. Mitra:
Apriori Formal Coverage Analysis for Protocol Properties.
VLSI Design 2006: 231-236 |
