- Ph.D., University of California, Irvine, 2004
- M.Tech., Indian Institute of Technology, Kharagpur, 1996
- B.E., Jadavpur University, India, 1994
Design Automation of Embedded Systems, Energy-aware Computing, Reconfigurable Architectures, Hardware Security and Trust, System Validation and Verification, and Post-Silicon Debug
|Fall 2016||CDA 3101||Introduction to Computer Organization|
|Spring 2016||CDA 4630/5636||Embedded Systems|
|Fall 2015||CDA 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