Raj S. Mitra

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

Coauthor Index

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

Colors in the list of coauthors