Prabhat Mishra
Prabhat Mishra
Professor of CISE, University of Florida, IEEE Fellow, ACM Distinguished Scientist
Verified email at ufl.edu - Homepage
Title
Cited by
Cited by
Year
Instruction set compiled simulation: a technique for fast and flexible instruction set simulation
M Reshadi, P Mishra, N Dutt
Proceedings 2003. Design Automation Conference (IEEE Cat. No. 03CH37451 …, 2003
1862003
Functional coverage driven test generation for validation of pipelined processors
P Mishra, N Dutt
Design, Automation and Test in Europe, 2005. Proceedings, 678-683 Vol. 2, 2005
141*2005
Processor description languages: applications and methodologies
P Mishra, N Dutt
Morgan Kaufmann, 2008
135*2008
LOSSLESS DATA COMPRESSION AND REAL-TIME DECOMPRESSION
P Mishra, SW Seong, K Basu, W Wang, X Qin, C Murthy
US Patent App. 12/682,808, 2008
1292008
Architecture description languages for programmable embedded systems
P Mishra, N Dutt
Computers and Digital Techniques, IEE Proceedings- 152 (3), 285-297, 2005
962005
Dynamic cache reconfiguration and partitioning for energy optimization in real-time multi-core systems
W Wang, P Mishra, S Ranka
Proceedings of the 48th Design Automation Conference, 948-953, 2011
912011
Bitmask-based code compression for embedded systems
SW Seong, P Mishra
IEEE Transactions on computer-aided design of integrated circuits and …, 2008
802008
Graph-based functional test program generation for pipelined processors
P Mishra, N Dutt
Design, Automation and Test in Europe Conference and Exhibition, 2004 …, 2004
802004
RATS: Restoration-aware trace signal selection for post-silicon validation
K Basu, P Mishra
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 21 (4), 605-613, 2012
752012
Test data compression using efficient bitmask and dictionary selection methods
K Basu, P Mishra
IEEE transactions on very large scale integration (VLSI) systems 18 (9 …, 2009
752009
Functional abstraction driven design space exploration of heterogeneous programmable architectures
P Mishra, N Dutt, A Nicolau
Proceedings of the 14th international symposium on Systems synthesis, 256-261, 2001
732001
Handbook of Energy-Aware and Green Computing, Volume 1
I Ahmad, S Ranka
CRC Press, 2012
712012
Efficient Trace Signal Selection for Post Silicon Validation and Debug
K Basu, P Mishra
VLSI Design (VLSI Design), 2011 24th International Conference on, 352-357, 2011
652011
An efficient retargetable framework for instruction-set simulation
M Reshadi, N Bansal, P Mishra, N Dutt
First IEEE/ACM/IFIP International Conference on Hardware/Software Codesign …, 2003
632003
MERS: statistical test generation for side-channel analysis based Trojan detection
Y Huang, S Bhunia, P Mishra
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016
582016
Pre-silicon security verification and validation: A formal perspective
X Guo, RG Dutta, Y Jin, F Farahmandi, P Mishra
Proceedings of the 52nd Annual Design Automation Conference, 1-6, 2015
562015
Efficient trace signal selection using augmentation and ILP techniques
K Rahmani, P Mishra, S Ray
Fifteenth international symposium on quality electronic design, 148-155, 2014
542014
Functional test generation using efficient property clustering and learning techniques
M Chen, P Mishra
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2010
532010
System-wide leakage-aware energy minimization using dynamic voltage scaling and cache reconfiguration in multitasking systems
W Wang, P Mishra
Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, 1-9, 2011
522011
Rapid exploration of pipelined processors through automatic generation of synthesizable RTL models
P Mishra, A Kejariwal, N Dutt
14th IEEE International Workshop on Rapid Systems Prototyping, 2003 …, 2003
502003
The system can't perform the operation now. Try again later.
Articles 1–20