Lovleen Bhatia

	2007
2		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: 69-74
	2006
1		Saurav Gorai, Saptarshi Biswas, Lovleen Bhatia, Praveen Tiwari, Raj S. Mitra: Directed-simulation assisted formal verification of serial protocol and bridge. DAC 2006: 731-736

Coauthor Index

1	Saptarshi Biswas	[1]
2	Jayesh Gaur	[2]
3	Saurav Gorai	[1]
4	Sunil H. Matange	[2]
5	Raj S. Mitra	[1] [2]
6	Praveen Tiwari	[1] [2]