Follow
Raj S Mitra
Raj S Mitra
Vice President, Cisma Consultants
Verified email at verikwest.com
Title
Cited by
Cited by
Year
Hardware software partitioning using genetic algorithm
D Saha, RS Mitra, A Basu
Proceedings Tenth International Conference on VLSI Design, 155-160, 1997
1391997
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
312009
Directed-simulation assisted formal verification of serial protocol and bridge
S Gorai, S Biswas, L Bhatia, P Tiwari, RS Mitra
2006 43rd ACM/IEEE Design Automation Conference, 731-736, 2006
302006
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
232008
Elastic, maximal matching
RS Mitra, NN Murthy
Pattern Recognition 24 (8), 747-753, 1991
221991
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
181997
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
162007
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
161996
Strategies for mainstream usage of formal verification
RS Mitra
2008 45th Acm/Ieee Design Automation Conference, 800-805, 2008
152008
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
102006
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
91998
Hardware-software partitioning: a case for constraint satisfaction
RS Mitra, A Basu
IEEE Intelligent Systems and their Applications 15 (1), 54-63, 2000
72000
Rapid prototyping of microprocessor-based systems
RS Mitra, B Guha, A Basu
Proceedings of 1993 International Conference on Computer Aided Design (ICCAD …, 1993
71993
An overview of MICKEY: A knowledge-based hardware-software codesign framework for microprocessor-based systems
RS Mitra, PS Roop, A Basu
Sadhana 21 (6), 719-739, 1996
61996
Incremental functional verification of a circuit design
RS Mitra, A Sharma
US Patent 9,195,789, 2015
32015
Hybrid verification of protocol bridges
P Tiwari, RS Mitra
IEEE Design & Test of Computers 24 (2), 124-131, 2007
32007
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
31995
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
22006
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
21994
Tutorial T4B: Formal Assertion-Based Verification in Industrial Setting
P Tiwari, R Mitra, M Chopra, A Jain
2007 20th International Conference on VLSI Design, 7-7, 2007
12007
The system can't perform the operation now. Try again later.
Articles 1–20