Travelled to:2 × USA
Collaborated with:P.Tiwari R.S.Mitra J.Gaur S.H.Matange S.Gorai S.Biswas
Talks about:formal (2) multimedia (1) techniqu (1) sequenti (1) protocol (1) perform (1) leverag (1) equival (1) serial (1) direct (1)
Person: Lovleen Bhatia
DBLP: Bhatia:Lovleen
Contributed to:
20072006Wrote 2 papers:
- DAC-2007-BhatiaGTMM #equivalence #multi #performance #validation
- Leveraging Semi-Formal and Sequential Equivalence Techniques for Multimedia SOC Performance Validation (LB, JG, PT, RSM, SHM), pp. 69–74.
- DAC-2006-GoraiBBTM #protocol #verification
- Directed-simulation assisted formal verification of serial protocol and bridge (SG, SB, LB, PT, RSM), pp. 731–736.