Raj S. Mitra

According to our database, Raj S. Mitra authored at least 19 papers between 1993 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Lessons and Experiences with High-Level Synthesis.

Soujanna Sarkar, Shashank Dabral, Praveen Tiwari, Raj S. Mitra

IEEE Des. Test Comput., 2009

2008

Strategies for mainstream usage of formal verification.

Raj S. Mitra

Proceedings of the 45th Design Automation Conference, 2008

2007

Hybrid Verification of Protocol Bridges.

Praveen Tiwari, Raj S. Mitra

IEEE Des. Test Comput., 2007

Tutorial T4B: Formal Assertion-Based Verification in Industrial Setting.

Praveen Tiwari, Raj S. Mitra, Manu Chopra, Alok Jain

Proceedings of the 20th International Conference on VLSI Design (VLSI Design 2007), 2007

Leveraging Semi-Formal and Sequential Equivalence Techniques for Multimedia SOC Performance Validation.

Lovleen Bhatia, Jayesh Gaur, Praveen Tiwari, Raj S. Mitra, Sunil H. Matange

Proceedings of the 44th Design Automation Conference, 2007

2006

Apriori Formal Coverage Analysis for Protocol Properties.

Praveen Tiwari, Saptarshi Biswas, Raj S. Mitra

Proceedings of the 19th International Conference on VLSI Design (VLSI Design 2006), 2006

Sequential Equivalence Checking.

Anmol Mathur, Masahiro Fujita, M. Balakrishnan, Raj S. Mitra

Proceedings of the 19th International Conference on VLSI Design (VLSI Design 2006), 2006

Directed-simulation assisted formal verification of serial protocol and bridge.

Saurav Gorai, Saptarshi Biswas, Lovleen Bhatia, Praveen Tiwari, Raj S. Mitra

Proceedings of the 43rd Design Automation Conference, 2006

Use of C/C++ models for architecture exploration and verification of DSPs.

David Brier, Raj S. Mitra

Proceedings of the 43rd Design Automation Conference, 2006

2000

Hardware-Software Partitioning: A Case for Constraint Satisfaction.

Raj S. Mitra, Anupam Basu

IEEE Intell. Syst., 2000

1998

Interface Synthesis for Embedded Applications in a Co Design Environment.

Anupam Basu, Raj S. Mitra, Peter Marwedel

Proceedings of the 11th International Conference on VLSI Design (VLSI Design 1991), 1998

1997

Knowledge representation in MICKEY: an expert system for designing microprocessor-based systems.

Raj S. Mitra, Anupam Basu

IEEE Trans. Syst. Man Cybern. Part A, 1997

Hardware Software Partitioning Using Genetic Algorithm.

Debanjan Saha, Anupam Basu, Raj S. Mitra

Proceedings of the 10th International Conference on VLSI Design (VLSI Design 1997), 1997

Asynchronous Implementation of Synchronous Esterel Specifications.

Raj S. Mitra, Bishnupriya Bhattacharya, Luciano Lavagno

Proceedings of the 10th International Conference on VLSI Design (VLSI Design 1997), 1997

1996

A new algorithm for implementation of design functions by available devices.

Raj S. Mitra, Partha S. Roop, Anupam Basu

IEEE Trans. Very Large Scale Integr. Syst., 1996

1995

Implementation of design functions by available devices: a new algorithm.

Raj S. Mitra, Partha S. Roop, Anupam Basu

Proceedings of the 8th International Conference on VLSI Design (VLSI Design 1995), 1995

A consistent labeling approach to hardware software partitioning.

Raj S. Mitra, Mahmood G. Qadir, Anupam Basu

Proceedings of the 8th International Conference on VLSI Design (VLSI Design 1995), 1995

1994

Design of microprocessor-based systems: a knowledge-based approach.

Raj S. Mitra, Mukul Kumar, Anupam Basu

IEEE Trans. Ind. Electron., 1994

1993

Rapid prototyping of microprocessor-based systems.

Raj S. Mitra, Biswaroop Guha, Anupam Basu

Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993