Search the dblp DataBase

Publications of Author

1. Saurav Gorai, Saptarshi Biswas, Lovleen Bhatia, Praveen Tiwari, Raj S. Mitra
   Directed-simulation assisted formal verification of serial protocol and bridge. [Citation Graph (0, 0)][DBLP]
   DAC, 2006, pp:731-736 [Conf]
   
2. Praveen Tiwari, Saptarshi Biswas, Raj S. Mitra
   Apriori Formal Coverage Analysis for Protocol Properties. [Citation Graph (0, 0)][DBLP]
   VLSI Design, 2006, pp:231-236 [Conf]
   
3. Praveen Tiwari, Raj S. Mitra, Manu Chopra, Alok Jain
   Tutorial T4B: Formal Assertion-Based Verification in Industrial Setting. [Citation Graph (0, 0)][DBLP]
   VLSI Design, 2007, pp:7- [Conf]
   
4. Lovleen Bhatia, Jayesh Gaur, Praveen Tiwari, Raj S. Mitra, Sunil H. Matange
   Leveraging Semi-Formal and Sequential Equivalence Techniques for Multimedia SOC Performance Validation. [Citation Graph (0, 0)][DBLP]
   DAC, 2007, pp:69-74 [Conf]
   
5. 
   Hybrid Verification of Protocol Bridges. [Citation Graph (, )][DBLP]
   
   
6. 
   Lessons and Experiences with High-Level Synthesis. [Citation Graph (, )][DBLP]