Raj S. Mitra

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

16EERaj S. Mitra: Strategies for mainstream usage of formal verification. DAC 2008: 800-805
15EELovleen Bhatia, Jayesh Gaur, Praveen Tiwari, Raj S. Mitra, Sunil H. Matange: Leveraging Semi-Formal and Sequential Equivalence Techniques for Multimedia SOC Performance Validation. DAC 2007: 69-74
14EEPraveen Tiwari, Raj S. Mitra, Manu Chopra, Alok Jain: Tutorial T4B: Formal Assertion-Based Verification in Industrial Setting. VLSI Design 2007: 7
13EEPraveen Tiwari, Raj S. Mitra: Hybrid Verification of Protocol Bridges. IEEE Design & Test of Computers 24(2): 124-131 (2007)
12EESaurav Gorai, Saptarshi Biswas, Lovleen Bhatia, Praveen Tiwari, Raj S. Mitra: Directed-simulation assisted formal verification of serial protocol and bridge. DAC 2006: 731-736
11EEDavid Brier, Raj S. Mitra: Use of C/C++ models for architecture exploration and verification of DSPs. DAC 2006: 79-84
10EEAnmol Mathur, Masahiro Fujita, M. Balakrishnan, Raj S. Mitra: Sequential Equivalence Checking. VLSI Design 2006: 18-19
9EEPraveen Tiwari, Saptarshi Biswas, Raj S. Mitra: Apriori Formal Coverage Analysis for Protocol Properties. VLSI Design 2006: 231-236
8EERaj S. Mitra, Anupam Basu: Hardware-Software Partitioning: A Case for Constraint Satisfaction. IEEE Intelligent Systems 15(1): 54-63 (2000)
7EEAnupam Basu, Raj S. Mitra, Peter Marwedel: Interface Synthesis for Embedded Applications in a Co Design Environment. VLSI Design 1998: 85-90
6EEDebanjan Saha, Anupam Basu, Raj S. Mitra: Hardware Software Partitioning Using Genetic Algorithm. VLSI Design 1997: 155-160
5EERaj S. Mitra, Bishnupriya Bhattacharya, Luciano Lavagno: Asynchronous Implementation of Synchronous Esterel Specifications. VLSI Design 1997: 348-355
4EERaj S. Mitra, Partha S. Roop, Anupam Basu: A new algorithm for implementation of design functions by available devices. IEEE Trans. VLSI Syst. 4(2): 170-180 (1996)
3EERaj S. Mitra, Mahmood G. Qadir, Anupam Basu: A consistent labeling approach to hardware software partitioning. VLSI Design 1995: 19-24
2EERaj S. Mitra, Partha S. Roop, Anupam Basu: Implementation of design functions by available devices: a new algorithm. VLSI Design 1995: 30-35
1EERaj S. Mitra, Biswaroop Guha, Anupam Basu: Rapid prototyping of microprocessor-based systems. ICCAD 1993: 600-603

Coauthor Index

1M. Balakrishnan [10]
2Anupam Basu [1] [2] [3] [4] [6] [7] [8]
3Lovleen Bhatia [12] [15]
4Bishnupriya Bhattacharya [5]
5Saptarshi Biswas [9] [12]
6David Brier [11]
7Manu Chopra [14]
8Masahiro Fujita [10]
9Jayesh Gaur [15]
10Saurav Gorai [12]
11Biswaroop Guha [1]
12Alok Jain [14]
13Luciano Lavagno [5]
14Peter Marwedel [7]
15Sunil H. Matange [15]
16Anmol Mathur [10]
17Mahmood G. Qadir [3]
18Partha S. Roop [2] [4]
19Debanjan Saha [6]
20Praveen Tiwari [9] [12] [13] [14] [15]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)