Praveen Tiwari

According to our database, Praveen Tiwari authored at least 12 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Design and Comparative analysis of 6T and 7T SRAM Cells for Improved TREAD and TWRITE Noise Margins.

Praveen Tiwari, RK Jarial, Gagnesh Kumar

Proceedings of the International Conference on Electronics, Information, and Communication, 2023

2022

PSL is Dead. Long Live PSL.

Kevin Smith, Hai Lin, Praveen Tiwari, Marjorie Sayer, Claudionor Coelho

CoRR, 2022

2021

Wide Band Micro-Strip Antenna Design for Higher "X" Band.

Praveen Tiwari, Praveen Kumar Malik

Int. J. e Collab., 2021

Log2NS: Enhancing Deep Learning Based Analysis of Logs With Formal to Prevent Survivorship Bias.

Charanraj Thimmisetty, Praveen Tiwari, Didac Gil de la Iglesia, Nandini Ramanan, Marjorie Sayer, Viswesh Ananthakrishnan, Claudionor José Nunes Coelho Jr.

CoRR, 2021

2020

Content adaptive live encoding with open source codecs.

Pradeep Ramachandran, Shushuang Yang, Praveen Tiwari, Gopi Satykrishna Akisetty

Proceedings of the 11th ACM Multimedia Systems Conference, 2020

2013

Automated determination of top level control signals.

Rohit Kumar Jain, Praveen Tiwari, Soumen Ghosh

Proceedings of the Design, Automation and Test in Europe, 2013

2009

Lessons and Experiences with High-Level Synthesis.

Soujanna Sarkar, Shashank Dabral, Praveen Tiwari, Raj S. Mitra

IEEE Des. Test Comput., 2009

2007

Hybrid Verification of Protocol Bridges.

Praveen Tiwari, Raj S. Mitra

IEEE Des. Test Comput., 2007

Tutorial T4B: Formal Assertion-Based Verification in Industrial Setting.

Praveen Tiwari, Raj S. Mitra, Manu Chopra, Alok Jain

Proceedings of the 20th International Conference on VLSI Design (VLSI Design 2007), 2007

Leveraging Semi-Formal and Sequential Equivalence Techniques for Multimedia SOC Performance Validation.

Lovleen Bhatia, Jayesh Gaur, Praveen Tiwari, Raj S. Mitra, Sunil H. Matange

Proceedings of the 44th Design Automation Conference, 2007

2006

Apriori Formal Coverage Analysis for Protocol Properties.

Praveen Tiwari, Saptarshi Biswas, Raj S. Mitra

Proceedings of the 19th International Conference on VLSI Design (VLSI Design 2006), 2006

Directed-simulation assisted formal verification of serial protocol and bridge.

Saurav Gorai, Saptarshi Biswas, Lovleen Bhatia, Praveen Tiwari, Raj S. Mitra

Proceedings of the 43rd Design Automation Conference, 2006