Travelled to:3 × USA
Collaborated with:∅ D.Brier L.Bhatia P.Tiwari J.Gaur S.H.Matange S.Gorai S.Biswas
Talks about:formal (3) verif (3) architectur (1) multimedia (1) mainstream (1) techniqu (1) strategi (1) sequenti (1) protocol (1) perform (1)
Person: Raj S. Mitra
DBLP: Mitra:Raj_S=
Contributed to:
200820072006Wrote 4 papers:
- DAC-2008-Mitra #verification
- Strategies for mainstream usage of formal verification (RSM), pp. 800–805.
- 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-BrierM #architecture #c #c++ #modelling #using #verification
- Use of C/C++ models for architecture exploration and verification of DSPs (DB, RSM), pp. 79–84.
- DAC-2006-GoraiBBTM #protocol #verification
- Directed-simulation assisted formal verification of serial protocol and bridge (SG, SB, LB, PT, RSM), pp. 731–736.