Seuraa
Raj S Mitra
Raj S Mitra
Vice President, Cisma Consultants
Vahvistettu sähköpostiosoite verkkotunnuksessa verikwest.com
Nimike
Viittaukset
Viittaukset
Vuosi
Hardware software partitioning using genetic algorithm
D Saha, RS Mitra, A Basu
Proceedings Tenth International Conference on VLSI Design, 155-160, 1997
1451997
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
342009
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
282006
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
242008
Elastic, maximal matching
RS Mitra, NN Murthy
Pattern Recognition 24 (8), 747-753, 1991
231991
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
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
Proceedings of the 45th annual Design Automation Conference, 800-805, 2008
152008
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
152007
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
Rapid prototyping of microprocessor-based systems
RS Mitra, B Guha, A Basu
Proceedings of 1993 International Conference on Computer Aided Design (ICCAD …, 1993
71993
Hardware-software partitioning: a case for constraint satisfaction
RS Mitra, A Basu
IEEE Intelligent Systems and their Applications 15 (1), 54-63, 2000
62000
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
51996
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
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
32006
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
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
P. 3. c. 006 Effectiveness of paliperidone depot in violent men with co-morbid schizophrenia and dissocial personality disorder
R Mitra, M Das, F Larkin, C Ross, J Romero-Urcelay
European Neuropsychopharmacology, S518, 2014
12014
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20