Lovleen Bhatia

According to our database, Lovleen Bhatia authored at least 2 papers between 2006 and 2007.

Collaborative distances:

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

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

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