| Hardware software partitioning using genetic algorithm D Saha, RS Mitra, A Basu Proceedings Tenth International Conference on VLSI Design, 155-160, 1997 | 148 | 1997 |
| Lessons and experiences with high-level synthesis S Sarkar, S Dabral, PK Tiwari, RS Mitra IEEE Design & Test of Computers 26 (4), 34-45, 2009 | 34 | 2009 |
| Directed-simulation assisted formal verification of serial protocol and bridge S Gorai, S Biswas, L Bhatia, P Tiwari, RS Mitra Proceedings of the 43rd Annual Design Automation Conference, 731-736, 2006 | 28 | 2006 |
| Using patterns for high-level modeling and specification of properties for hardware systems RS Mitra, P Tiwari, MK Saluja US Patent 7,325,209, 2008 | 24 | 2008 |
| Elastic, maximal matching RS Mitra, NN Murthy Pattern Recognition 24 (8), 747-753, 1991 | 23 | 1991 |
| Knowledge representation in MICKEY: An expert system for designing microprocessor-based systems RS Mitra, A Basu IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and …, 1997 | 18 | 1997 |
| A new algorithm for implementation of design functions by available devices RS Mitra, PS Roop, A Basu IEEE Transactions on very large scale integration (vlsi) systems 4 (2), 170-180, 1996 | 16 | 1996 |
| Strategies for mainstream usage of formal verification RS Mitra Proceedings of the 45th annual Design Automation Conference, 800-805, 2008 | 15 | 2008 |
| Leveraging semi-formal and sequential equivalence techniques for multimedia SoC performance validation L Bhatia, J Gaur, P Tiwari, RS Mitra, SH Matange Proceedings of the 44th annual Design Automation Conference, 69-74, 2007 | 15 | 2007 |
| Use of C/C++ models for architecture exploration and verification of DSPs D Brier, RS Mitra Proceedings of the 43rd annual Design Automation Conference, 79-84, 2006 | 10 | 2006 |
| Interface synthesis for embedded applications in a codesign environment A Basu, RS Mitra, P Marwedel Proceedings Eleventh International Conference on VLSI Design, 85-90, 1998 | 9 | 1998 |
| Rapid prototyping of microprocessor-based systems RS Mitra, B Guha, A Basu Proceedings of 1993 International Conference on Computer Aided Design (ICCAD …, 1993 | 7 | 1993 |
| Hardware-software partitioning: a case for constraint satisfaction RS Mitra, A Basu IEEE Intelligent Systems and their Applications 15 (1), 54-63, 2000 | 6 | 2000 |
| An overview of MICKEY: A knowledge-based hardware-software codesign framework for microprocessor-based systems RS Mitra, PS Roop, A Basu Sadhana 21, 719-739, 1996 | 5 | 1996 |
| Incremental functional verification of a circuit design RS Mitra, A Sharma US Patent 9,195,789, 2015 | 3 | 2015 |
| Hybrid verification of protocol bridges P Tiwari, RS Mitra IEEE Design & Test of Computers 24 (2), 124-131, 2007 | 3 | 2007 |
| Building a verification test plan: trading brute force for finesse J Bergeron, H Foster, A Piziali, RS Mitra, C Ahlschlager, D Stein Proceedings of the 43rd annual Design Automation Conference, 805-806, 2006 | 3 | 2006 |
| A consistent labeling approach to hardware software partitioning RS Mitra, MG Qadir, A Basu Proceedings of the 8th International Conference on VLSI Design, 19-24, 1995 | 3 | 1995 |
| Hardware software codesign of microprocessor based systems: A knowledge based framework RS Mitra IIT Kharagpur, 1994 | 3 | 1994 |
| Design of microprocessor-based systems: a knowledge-based approach RS Mitra, M Kumar, A Basu IEEE Transactions on Industrial Electronics 41 (3), 352-360, 1994 | 2 | 1994 |
