Prabhat Mishra, Ph.D.

Professor
Director, Embedded Systems Lab

Primary Research Area

Embedded Systems

Research Areas

Embedded and Cyber-Physical Systems, Energy-Aware Computing, Formal Verification, Post-Silicon Debug, System-on-Chip Validation, Hardware Security and Trust

Education

Ph.D., University of California, Irvine, 2004
M.Tech., Indian Institute of Technology, Kharagpur, 1996
B.E., Jadavpur University, India, 1994

Publications

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.

Awards & Distinctions

News