People
Faculty Information
|
University of Florida Computer and Information Science and Engineering Prabhat Mishra
Assistant ProfessorDirector of Embedded Systems Lab |
|
| Mailing Address: | P.O. Box 116120
Gainesville, FL 32611-6120 |
| Office Location: | E568 CSE |
| Office Phone: | (352) 450-3402 |
| Departmental FAX: | (352) 392-1220 |
| Email: | prabhat@cise.ufl.edu |
| Website: | http://www.cise.ufl.edu/~prabhat |
Interests
Design Automation of Embedded Systems, VLSI CAD, Scalable Hardware/Software Verification using simulation and formal methods, Low-Power Reconfigurable Architectures.
Education
- Ph.D., University of California, Irvine, 2004
- M.Tech., Indian Institute of Technology, Kharagpur, 1996
- B.E., Jadavpur University, India, 1994
Current and Recent Courses
| Semester | Number | Title |
|---|---|---|
| Fall 2009 | CDA 4102/5155 | Computer Architecture Principles |
| Spring 2009 | CIS 4930/6930 | Embedded Systems |
It is possible that changes in listings are pending. Contact the (CISE Student Services Center) at 352-392-1090 for the most up-to-date information.
Additional course information is available at:
- CISE Undergraduate Courses
- CISE Graduate Courses
- UF Undergraduate and Graduate Catalog Course Descriptions
Selected Publications
- Xiaoke Qin and Prabhat Mishra, A Universal Placement Technique of Compressed Instructions for Efficient Parallel Decompression, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), volume 28, no 8, pages 1224-1236, August 2009.
- Heon-Mo Koo and Prabhat Mishra, Functional Test Generation using Design and Property Decomposition Techniques, ACM Transactions on Embedded Computing Systems (TECS), volume 8, no 4, article 32, July 2009.
- Kanad Basu and Prabhat Mishra, Test Data Compression using Efficient Bitmask and Dictionary Selection Methods, Accepted to appear in IEEE Transactions on Very Large Scale Integration (VLSI) Systems (TVLSI), 2009.
- Mehrdad Reshadi, Prabhat Mishra, and Nikil Dutt, Hybrid Compiled Simulation: An Efficient Technique for Instruction-Set Architecture Simulation, ACM Transactions on Embedded Computing Systems (TECS), volume 8, no 3, 27 pages, Article 20, April 2009.
- Prabhat Mishra and Nikil Dutt (Editors), Processor Description Languages - Applications and Methodologies, Morgan Kaufmann, ISBN: 978-0-12-374287-2, June 2008.
- Seok-Won Seong and Prabhat Mishra, Bitmask-Based Code Compression for Embedded Systems, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), volume 27, no 4, pages 673-685, April 2008.
- Prabhat Mishra and Nikil Dutt, Specification-driven Directed Test Generation for Validation of Pipelined Processors, ACM Transactions on Design Automation of Electronic Systems (TODAES), volume 13, no 2, 36 pages, article 42, July 2008.
- Prabhat Mishra and Nikil Dutt, Functional Verification of Programmable Embedded Architectures - A Top-Down Approach, Springer, ISBN: 0-387-26143-5, July 2005.
Professional Awards and Honors
- NSF CAREER Award 2008-2013
- International Educatior of the Year Award (COE)
- EDAA Outstanding Dissertation Award
- CODES+ISSS Best Paper Award