| 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, 2010 | 188 | 2010 |
| System-level validation: high-level modeling and directed test generation techniques M Chen, X Qin, HM Koo, P Mishra Springer Science & Business Media, 2012 | 76 | 2012 |
| Directed test generation for validation of cache coherence protocols Y Lyu, X Qin, M Chen, P Mishra IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018 | 42 | 2018 |
| Decoding-aware compression of FPGA bitstreams X Qin, C Muthry, P Mishra IEEE Transactions on Very Large Scale Integration (VLSI) Systems 19 (3), 411-419, 2009 | 35 | 2009 |
| Automated generation of directed tests for transition coverage in cache coherence protocols X Qin, P Mishra 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), 3-8, 2012 | 34 | 2012 |
| Scalable test generation by interleaving concrete and symbolic execution X Qin, P Mishra 2014 27th International Conference on VLSI Design and 2014 13th …, 2014 | 31 | 2014 |
| Directed test generation for validation of multicore architectures X Qin, P Mishra ACM Transactions on Design Automation of Electronic Systems (TODAES) 17 (3 …, 2012 | 27 | 2012 |
| Variation-aware evaluation of MPSoC task allocation and scheduling strategies using statistical model checking M Chen, D Yue, X Qin, X Fu, P Mishra 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 199-204, 2015 | 25 | 2015 |
| Efficient decision ordering techniques for SAT-based test generation M Chen, X Qin, P Mishra 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010 | 25 | 2010 |
| Synchronized generation of directed tests using satisfiability solving X Qin, M Chen, P Mishra 2010 23rd International Conference on VLSI Design, 351-356, 2010 | 21 | 2010 |
| TCEC: Temperature and energy-constrained scheduling in real-time multitasking systems X Qin, W Wang, P Mishra IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2012 | 16 | 2012 |
| Temperature-and energy-constrained scheduling in multitasking systems: A model checking approach W Wang, X Qin, P Mishra Proceedings of the 16th ACM/IEEE international symposium on Low power …, 2010 | 16 | 2010 |
| Efficient directed test generation for validation of multicore architectures X Qin, P Mishra 2011 12th International Symposium on Quality Electronic Design, 1-8, 2011 | 13 | 2011 |
| A universal placement technique of compressed instructions for efficient parallel decompression X Qin, P Mishra IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2009 | 12 | 2009 |
| Learning-oriented property decomposition for automated generation of directed tests M Chen, X Qin, P Mishra Journal of Electronic Testing 30, 287-306, 2014 | 8 | 2014 |
| Efficient placement of compressed code for parallel decompression X Qin, P Mishra 2009 22nd International Conference on VLSI Design, 335-340, 2009 | 8 | 2009 |
| Tecs: Temperature-and energy-constrained scheduling for multicore systems X Qin, P Mishra 2014 27th International Conference on VLSI Design and 2014 13th …, 2014 | 6 | 2014 |
| Directed Test Generation for Cache Coherence Protocols X Qin, P Mishra Technical Report, University of Florida, 2011 | 2 | 2011 |
| Modeling and Specification of SoC Designs M Chen, X Qin, HM Koo, P Mishra, M Chen, X Qin, HM Koo, P Mishra System-Level Validation: High-Level Modeling and Directed Test Generation …, 2013 | 1 | 2013 |
| System-Level Validation M Chen, X Qin, HM Koo, P Mishra (No Title), 2013 | | 2013 |
