Raj S. Mitra

Publication Activity (10 Years)

Years Active: 1993-2009
Publications (10 Years): 0

Publications

Soujanna Sarkar, Shashank Dabral, Praveen Tiwari, Raj S. Mitra
Lessons and Experiences with High-Level Synthesis. IEEE Des. Test Comput. 26 (4) (2009)
Raj S. Mitra
Strategies for mainstream usage of formal verification. DAC (2008)
Praveen Tiwari, Raj S. Mitra
Hybrid Verification of Protocol Bridges. IEEE Des. Test Comput. 24 (2) (2007)
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)
Praveen Tiwari, Raj S. Mitra, Manu Chopra, Alok Jain
Tutorial T4B: Formal Assertion-Based Verification in Industrial Setting. VLSI Design (2007)
David Brier, Raj S. Mitra
Use of C/C++ models for architecture exploration and verification of DSPs. DAC (2006)
Anmol Mathur, Masahiro Fujita, M. Balakrishnan, Raj S. Mitra
Sequential Equivalence Checking. VLSI Design (2006)
Praveen Tiwari, Saptarshi Biswas, Raj S. Mitra
Apriori Formal Coverage Analysis for Protocol Properties. VLSI Design (2006)
Saurav Gorai, Saptarshi Biswas, Lovleen Bhatia, Praveen Tiwari, Raj S. Mitra
Directed-simulation assisted formal verification of serial protocol and bridge. DAC (2006)
Raj S. Mitra, Anupam Basu
Hardware-Software Partitioning: A Case for Constraint Satisfaction. IEEE Intell. Syst. 15 (1) (2000)
Anupam Basu, Raj S. Mitra, Peter Marwedel
Interface Synthesis for Embedded Applications in a Co Design Environment. VLSI Design (1998)
Debanjan Saha, Anupam Basu, Raj S. Mitra
Hardware Software Partitioning Using Genetic Algorithm. VLSI Design (1997)
Raj S. Mitra, Anupam Basu
Knowledge representation in MICKEY: an expert system for designing microprocessor-based systems. IEEE Trans. Syst. Man Cybern. Part A 27 (4) (1997)
Raj S. Mitra, Bishnupriya Bhattacharya, Luciano Lavagno
Asynchronous Implementation of Synchronous Esterel Specifications. VLSI Design (1997)
Raj S. Mitra, Partha S. Roop, Anupam Basu
A new algorithm for implementation of design functions by available devices. IEEE Trans. Very Large Scale Integr. Syst. 4 (2) (1996)
Raj S. Mitra, Mahmood G. Qadir, Anupam Basu
A consistent labeling approach to hardware software partitioning. VLSI Design (1995)
Raj S. Mitra, Partha S. Roop, Anupam Basu
Implementation of design functions by available devices: a new algorithm. VLSI Design (1995)
Raj S. Mitra, Mukul Kumar, Anupam Basu
Design of microprocessor-based systems: a knowledge-based approach. IEEE Trans. Ind. Electron. 41 (3) (1994)
Raj S. Mitra, Biswaroop Guha, Anupam Basu
Rapid prototyping of microprocessor-based systems. ICCAD (1993)