Travelled to:1 × USA
Collaborated with:L.Bhatia J.Gaur P.Tiwari R.S.Mitra
Talks about:multimedia (1) techniqu (1) sequenti (1) perform (1) leverag (1) equival (1) formal (1) valid (1) semi (1) soc (1)
Person: Sunil H. Matange
DBLP: Matange:Sunil_H=
Contributed to:
2007Wrote 1 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.