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: 
Embedded and Cyber-Physical Systems, Hardware Security and Trust, Energy-aware Computing, System-on-Chip Validation, Formal Verification, and Post-Silicon Debug
Current and Recent Courses: 


Spring 2019CDA 4630/5636Embedded Systems
Fall 2018CDA 4102/5155
Computer Architecture Principles
Fall 2016CDA 3101 
Introduction to Computer Organization


  • Farimah Farahmandi and Prabhat Mishra, Automated Test Generation for Debugging Multiple Bugs in Arithmetic Circuits, IEEE Transactions on Computers (TC), 2018.
  • Yuanwen Huang, Swarup Bhunia and Prabhat Mishra, Scalable Test Generation for Trojan Detection using Side Channel Analysis, IEEE Transactions on Information Forensics & Security (TIFS), 13(11), pages 2746-2760, 2018.
  • Adib Nahiyan, Farimah Farahmandi, Prabhat Mishra, Domenic Forte and Mark Tehranipoor, Security-aware FSM Design Flow for Identifying and Mitigating Vulnerabilities to Fault Attacks, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2018.
  • Yuanwen Huang and Prabhat Mishra, Vulnerability-aware Energy Optimization for Reconfigurable Caches in Multitasking Systems, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2018.
  • Yangdi Lyu, Xiaoke Qin, Mingsong Chen and Prabhat Mishra, Directed Test Generation for Validation of Cache Coherence Protocols, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2018.
  • Kamran Rahmani and Prabhat Mishra, Feature-based Signal Selection for Post-silicon Debug using Machine Learning, IEEE Transactions on Emerging Topics in Computing (TETC), 2017.
  • Xiaolong Guo, Raj Gautam Dutta, Prabhat Mishra and Yier Jin, Automatic Code Converter Enhanced PCH Framework for SoC Trust Verification, IEEE Transactions on Very Large Scale Integration (VLSI) Systems (TVLSI), 25(12), pages 3390-3400, 2017.
  • Ujjwal Gupta, Chetan Patil, Ganapati Bhat, Prabhat Mishra and Umit Ogras, DyPO: Dynamic Pareto Optimal Configuration Selection for Heterogeneous MpSoCs, ACM Transactions on Embedded Computing Systems (TECS), 16(5), 2017.
  • Kamran Rahmani, Sandip Ray and Prabhat Mishra, Post-silicon Trace Signal Selection Using Machine Learning Techniques, IEEE Transactions on Very Large Scale Integration (VLSI) Systems (TVLSI), 25(2), pages 570-580, 2017.
  • Prabhat Mishra, Ronny Morad, Avi Ziv and Sandip Ray, Post-silicon Validation in the SoC Era: A Tutorial Introduction, IEEE Design & Test (D&T), 34(3), pages 68-92, 2017.
  • Mingsong Chen, Xinqian Zhang, Geguang Pu, Xin Fu and Prabhat Mishra, Efficient Resource Constrained Scheduling using Parallel Structure-Aware Pruning Techniques, IEEE Transactions on Computers (TC), 65(7), pages 2059-2073, 2016.
  • 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), 24(1), 313-323, 2016.
  • UF Term Professorship, 2017
  • ACM Distinguished Speaker, 2016
  • ISQED Best Paper Award, 2016
  • ACM Distinguished Scientist, 2015
  • IBM Faculty Award, 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 323
Primary Research Area: 
Embedded Systems