Lovleen Bhatia

Publication Activity (10 Years)

Years Active: 2006-2007
Publications (10 Years): 0

Publications

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)
Saurav Gorai, Saptarshi Biswas, Lovleen Bhatia, Praveen Tiwari, Raj S. Mitra
Directed-simulation assisted formal verification of serial protocol and bridge. DAC (2006)