Skip to content Skip to navigation

Prabhat Mishra, Ph.D.

Professor, Director of Embedded Systems Lab

Research Areas: 
Embedded Systems
Energy-Aware Computing
  • Ph.D., University of California, Irvine, 2004
  • M.Tech., Indian Institute of Technology, Kharagpur, 1996
  • B.E., Jadavpur University, India, 1994
Research Interests: 

Design Automation of Embedded Systems, Energy-aware Computing, Reconfigurable Architectures, Hardware Security and Trust, System Validation and Verification, and Post-Silicon Debug

Current and Recent Courses: 
Fall 2016CDA 3101Introduction to Computer Organization
Spring 2016CDA 4630/5636Embedded Systems
Fall 2015CDA 4102/5155

Computer Architecture Principles


  • Farimah Farahmandi and Prabhat Mishra, Automated Test Generation for Debugging Arithmetic Circuits, Design Automation and Test in Europe (DATE),  2016.
  • Farimah Farahmandi, Prabhat Mishra and Sandip Ray, Exploiting Transaction Level Models for Observability-aware Post-silicon Test Generation, Design Automation and Test in Europe (DATE), 2016.
  • Xiaolong Guo, Raj Gautam Dutta, Yier Jin, Farimah Farahmandi and Prabhat Mishra, Pre-Silicon Security Verification and Validation: A Formal Perspective, ACM/IEEE Design Automation Conference (DAC), 2015.
  • Mingsong Chen, Xinqian Zhang, Geguang, Xin Fu and Prabhat Mishra, Efficient Resource Constrained Scheduling using Parallel Structure-Aware Pruning Techniques, IEEE Transactions on Computers (TC), 2015.
  • Kamran Rahmani, Sudhi Proch and Prabhat Mishra, Efficient Selection of Trace and Scan Signals for Post-Silicon Debug, IEEE Transactions on Very Large Scale Integration (VLSI) Systems (TVLSI), 2015.
  • Kanad Basu and Prabhat Mishra, Restoration-Aware Trace Signal Selection for Post Silicon Validation, IEEE Transactions on Very Large Scale Integration (VLSI) Systems (TVLSI), 21(4), pages 605-613, April 2013.
  • Xiaoke Qin, Weixun Wang and Prabhat Mishra, TCEC: Temperature- and Energy-Constrained Scheduling in Real-Time Multitasking Systems, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 31(8), pages 1159-1168, August 2012.
  • Mingsong Chen, Xiaoke Qin, Heon-Mo Koo and Prabhat Mishra, System-Level Validation: High-Level Modeling and Directed Test Generation Techniques, ISBN: 978-1-4614-1358-5, Springer, August 2012.
  • Weixun Wang, Prabhat Mishra and Sanjay Ranka, Dynamic Reconfiguration in Real-Time Systems - Energy, Performance, Reliability and Thermal Perspectives, ISBN: 978-1-4614-0277-0, Springer, July 2012.
  • Xiaoke Qin and Prabhat Mishra, Directed Test Generation for Validation of Multicore Architectures, ACM Transactions on Design Automation of Electronic Systems (TODAES), volume 17, no 3, article 24, June 2012.
  • Weixun Wang, Prabhat Mishra and Ann-Gordon Ross, Dynamic Cache Reconfiguration for Soft Real-Time Systems, ACM Transactions on Embedded Computing Systems (TECS), volume 11, issue 2, article 28, July 2012
  • Mingsong Chen and Prabhat Mishra, Property Learning Techniques for Efficient Generation of Directed Tests, IEEE Transactions on Computers (TC), 60(6), pages 852-864, June 2011.
  • ACM Distinguished Speaker, 2016
  • ISQED Best Paper Award, 2016
  • ACM Distinguished Scientist, 2015
  • VLSI Design Best Paper Award, 2011
  • NSF CAREER Award, 2008
  • COE International Educator of the Year Award, 2007
  • EDAA Outstanding Dissertation Award, 2004
  • CODES+ISSS Best Paper Award, 2003
Lab Room: 
CSE 504/506/508
Primary Research Area: 
Embedded Systems