Travelled to:1 × France
2 × USA
Collaborated with:L.Bhatia R.S.Mitra R.K.Jain S.Ghosh J.Gaur S.H.Matange S.Gorai S.Biswas
Talks about:formal (2) multimedia (1) techniqu (1) sequenti (1) protocol (1) determin (1) perform (1) leverag (1) equival (1) control (1)
Person: Praveen Tiwari
DBLP: Tiwari:Praveen
Contributed to:
2013
20072006Wrote 3 papers:
- DATE-2013-JainTG #automation
- Automated determination of top level control signals (RKJ, PT, SG), pp. 509–512.
- 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.