Raj S. Mitra

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