Rapid prototyping of microprocessor-based systems. - Raj S. Mitra; Biswaroop Guha; Anupam Basu (ICCAD, 1993)

Design of microprocessor-based systems: a knowledge-based approach. - Raj S. Mitra; Mukul Kumar; Anupam Basu (IEEE Trans. Ind. Electron., 1994)

A consistent labeling approach to hardware software partitioning. - Raj S. Mitra; Mahmood G. Qadir; Anupam Basu (VLSI Design, 1995)

Implementation of design functions by available devices: a new algorithm. - Raj S. Mitra; Partha S. Roop; Anupam Basu (VLSI Design, 1995)

A new algorithm for implementation of design functions by available devices. - Raj S. Mitra; Partha S. Roop; Anupam Basu (IEEE Trans. Very Large Scale Integr. Syst., 1996)

Asynchronous Implementation of Synchronous Esterel Specifications. - Raj S. Mitra; Bishnupriya Bhattacharya; Luciano Lavagno (VLSI Design, 1997)

Hardware Software Partitioning Using Genetic Algorithm. - Debanjan Saha; Anupam Basu; Raj S. Mitra (VLSI Design, 1997)

Knowledge representation in MICKEY: an expert system for designing microprocessor-based systems. - Raj S. Mitra; Anupam Basu (IEEE Trans. Syst. Man Cybern. Part A, 1997)

Interface Synthesis for Embedded Applications in a Co Design Environment. - Anupam Basu; Raj S. Mitra; Peter Marwedel (VLSI Design, 1998)

Hardware-Software Partitioning: A Case for Constraint Satisfaction. - Raj S. Mitra; Anupam Basu (IEEE Intell. Syst., 2000)

Use of C/C++ models for architecture exploration and verification of DSPs. - David Brier; Raj S. Mitra (DAC, 2006)

Directed-simulation assisted formal verification of serial protocol and bridge. - Saurav Gorai; Saptarshi Biswas; Lovleen Bhatia; Praveen Tiwari; Raj S. Mitra (DAC, 2006)

Sequential Equivalence Checking. - Anmol Mathur; Masahiro Fujita; M. Balakrishnan; Raj S. Mitra (VLSI Design, 2006)

Apriori Formal Coverage Analysis for Protocol Properties. - Praveen Tiwari; Saptarshi Biswas; Raj S. Mitra (VLSI Design, 2006)

Leveraging Semi-Formal and Sequential Equivalence Techniques for Multimedia SOC Performance Validation. - Lovleen Bhatia; Jayesh Gaur; Praveen Tiwari; Raj S. Mitra; Sunil H. Matange (DAC, 2007)

Tutorial T4B: Formal Assertion-Based Verification in Industrial Setting. - Praveen Tiwari; Raj S. Mitra; Manu Chopra; Alok Jain (VLSI Design, 2007)

Hybrid Verification of Protocol Bridges. - Praveen Tiwari; Raj S. Mitra (IEEE Des. Test Comput., 2007)

Strategies for mainstream usage of formal verification. - Raj S. Mitra (DAC, 2008)

Lessons and Experiences with High-Level Synthesis. - Soujanna Sarkar; Shashank Dabral; Praveen Tiwari; Raj S. Mitra (IEEE Des. Test Comput., 2009)