Praveen Tiwari

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 5

Top Topics

Comparative Analysis

Top Venues

Int. J. e Collab.

Publications

Praveen Tiwari, RK Jarial, Gagnesh Kumar
Design and Comparative analysis of 6T and 7T SRAM Cells for Improved TREAD and TWRITE Noise Margins. ICEIC (2023)
Kevin Smith, Hai Lin, Praveen Tiwari, Marjorie Sayer, Claudionor Coelho
PSL is Dead. Long Live PSL. CoRR (2022)
Charanraj Thimmisetty, Praveen Tiwari, Didac Gil de la Iglesia, Nandini Ramanan, Marjorie Sayer, Viswesh Ananthakrishnan, Claudionor Nunes Coelho Jr.
Log2NS: Enhancing Deep Learning Based Analysis of Logs With Formal to Prevent Survivorship Bias. CoRR (2021)
Praveen Tiwari, Praveen Kumar Malik
Wide Band Micro-Strip Antenna Design for Higher "X" Band. Int. J. e Collab. 17 (4) (2021)
Pradeep Ramachandran, Shushuang Yang, Praveen Tiwari, Gopi Satykrishna Akisetty
Content adaptive live encoding with open source codecs. MMSys (2020)
Rohit Kumar Jain, Praveen Tiwari, Soumen Ghosh
Automated determination of top level control signals. DATE (2013)
Soujanna Sarkar, Shashank Dabral, Praveen Tiwari, Raj S. Mitra
Lessons and Experiences with High-Level Synthesis. IEEE Des. Test Comput. 26 (4) (2009)
Praveen Tiwari, Raj S. Mitra
Hybrid Verification of Protocol Bridges. IEEE Des. Test Comput. 24 (2) (2007)
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)
Praveen Tiwari, Raj S. Mitra, Manu Chopra, Alok Jain
Tutorial T4B: Formal Assertion-Based Verification in Industrial Setting. VLSI Design (2007)
Praveen Tiwari, Saptarshi Biswas, Raj S. Mitra
Apriori Formal Coverage Analysis for Protocol Properties. VLSI Design (2006)
Saurav Gorai, Saptarshi Biswas, Lovleen Bhatia, Praveen Tiwari, Raj S. Mitra
Directed-simulation assisted formal verification of serial protocol and bridge. DAC (2006)