Praveen Tiwari (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 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

2 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

Selection of 2 from 6 records - Praveen Tiwari has 10 coauthors

5		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
2		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