Prabhat Mishra Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChetan Murthy, Prabhat Mishra: Bitmask-based control word compression for NISC architectures. ACM Great Lakes Symposium on VLSI 2009: 321-326
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThanh Nga Dang, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra: Generating test programs to cover pipeline interactions. DAC 2009: 142-147
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaoke Qin, Prabhat Mishra: Efficient Placement of Compressed Code for Parallel Decompression. VLSI Design 2009: 335-340
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWeixun Wang, Prabhat Mishra, Ann Gordon-Ross: SACR: Scheduling-Aware Cache Reconfiguration for Real-Time Embedded Systems. VLSI Design 2009: 547-552
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrabhat Mishra, Mingsong Chen: Efficient Techniques for Directed Test Generation Using Incremental Satisfiability. VLSI Design 2009: 65-70
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehrdad Reshadi, Prabhat Mishra, Nikil D. Dutt: Hybrid-compiled simulation: An efficient technique for instruction-set architecture simulation. ACM Trans. Embedded Comput. Syst. 8(3): (2009)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeon-Mo Koo, Prabhat Mishra: Functional test generation using design and property decomposition techniques. ACM Trans. Embedded Comput. Syst. 8(4): (2009)
2008
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita: Coverage-driven automatic test generation for uml activity diagrams. ACM Great Lakes Symposium on VLSI 2008: 139-142
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKanad Basu, Prabhat Mishra: A novel test-data compression technique using application-aware bitmask and dictionary selection methods. ACM Great Lakes Symposium on VLSI 2008: 83-88
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeon-Mo Koo, Prabhat Mishra: Specification-based compaction of directed tests for functional validation of pipelined processors. CODES+ISSS 2008: 137-142
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrabhat Mishra, Nikil Dutt: Specification-driven directed test generation for validation of pipelined processors. ACM Trans. Design Autom. Electr. Syst. 13(3): (2008)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeok-Won Seong, Prabhat Mishra: Bitmask-Based Code Compression for Embedded Systems. IEEE Trans. on CAD of Integrated Circuits and Systems 27(4): 673-685 (2008)
2007
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXianfeng Li, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra, Xu Cheng: A Retargetable Software Timing Analyzer Using Architecture Description Language. ASP-DAC 2007: 396-401
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeok-Won Seong, Prabhat Mishra: An efficient code compression technique using application-aware bitmask and dictionary selection methods. DATE 2007: 582-587
2006
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeon-Mo Koo, Prabhat Mishra: Test generation using SAT-based bounded model checking for validation of pipelined processors. ACM Great Lakes Symposium on VLSI 2006: 362-365
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeon-Mo Koo, Prabhat Mishra: Functional test generation using property decompositions for validation of pipelined processors. DATE 2006: 1240-1245
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeok-Won Seong, Prabhat Mishra: A bitmask-based code compression technique for embedded systems. ICCAD 2006: 251-254
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeon-Mo Koo, Prabhat Mishra, Jayanta Bhadra, Magdy S. Abadir: Directed Micro-architectural Test Generation for an Industrial Processor: A Case Study. MTV 2006: 33-36
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrabhat Mishra, Aviral Shrivastava, Nikil Dutt: Architecture description language (ADL)-driven software toolkit generation for architectural exploration of programmable SOCs. ACM Trans. Design Autom. Electr. Syst. 11(3): 626-658 (2006)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehrdad Reshadi, Nikil Dutt, Prabhat Mishra: A retargetable framework for instruction-set architecture simulation. ACM Trans. Embedded Comput. Syst. 5(2): 431-452 (2006)
2005
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehrdad Reshadi, Prabhat Mishra: Memory access optimizations in instruction-set simulators. CODES+ISSS 2005: 237-242
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrabhat Mishra, Nikil D. Dutt: Functional Coverage Driven Test Generation for Validation of Pipelined Processors. DATE 2005: 678-683
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrabhat Mishra, Heon-Mo Koo, Zhuo Huang: Language-driven Validation of Pipelined Processors using Satisfiability Solvers. MTV 2005: 119-126
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrabhat Mishra, Nikil D. Dutt, Narayanan Krishnamurthy, Magdy S. Abadir: A methodology for validation of microprocessors using symbolic simulation. IJES 1(1/2): 14-22 (2005)
2004
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrabhat Mishra, Nikil Dutt: Graph-Based Functional Test Program Generation for Pipelined Processors. DATE 2004: 182-187
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrabhat Mishra, Nikil D. Dutt: Functional Validation of Programmable Architectures. DSD 2004: 12-19
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrabhat Mishra, Nikil D. Dutt, Yaron Kashai: Functional Verification of Pipelined Processors: A Case Study. MTV 2004: 79-84
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrabhat Mishra, Arun Kejariwal, Nikil Dutt: Synthesis-driven Exploration of Pipelined Embedded Processors. VLSI Design 2004: 921-926
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrabhat Mishra, Nikil Dutt: Modeling and validation of pipeline specifications. ACM Trans. Embedded Comput. Syst. 3(1): 114-139 (2004)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrabhat Mishra, Mahesh Mamidipaka, Nikil Dutt: Processor-memory coexploration using an architecture description language. ACM Trans. Embedded Comput. Syst. 3(1): 140-162 (2004)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrabhat Mishra, Nikil Dutt, Narayanan Krishnamurthy, Magdy S. Abadir: A Top-Down Methodology for Microprocessor Validation. IEEE Design & Test of Computers 21(2): 122-131 (2004)
2003
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehrdad Reshadi, Nikhil Bansal, Prabhat Mishra, Nikil D. Dutt: An efficient retargetable framework for instruction-set simulation. CODES+ISSS 2003: 13-18
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehrdad Reshadi, Prabhat Mishra, Nikil D. Dutt: Instruction set compiled simulation: a technique for fast and flexible instruction set simulation. DAC 2003: 758-763
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrabhat Mishra, Arun Kejariwal, Nikil Dutt: Rapid Exploration of Pipelined Processors through Automatic Generation of Synthesizable RTL Models. IEEE International Workshop on Rapid System Prototyping 2003: 226-232
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrabhat Mishra, Nikil D. Dutt: A Methodology for Validation of Microprocessors using Equivalence Checking. MTV 2003: 83-88
2002
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrabhat Mishra, Nikil D. Dutt, Alexandru Nicolau, Hiroyuki Tomiyama: Automatic Verification of In-Order Execution In Microprocessors with Fragmented Pipelines and Multicycle Functional Units. DATE 2002: 36-43
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrabhat Mishra, Nikil D. Dutt: Modeling and Verification of Pipelined Embedded Processors in the Presence of Hazards and Exceptions. DIPES 2002: 81-90
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrabhat Mishra, Hiroyuki Tomiyama, Ashok Halambi, Peter Grun, Nikil D. Dutt, Alexandru Nicolau: Automatic Modeling and Validation of Pipeline Specifications Driven by an Architecture Description Language. VLSI Design 2002: 458-
2001
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrabhat Mishra, Nikil D. Dutt, Alexandru Nicolau: Functional abstraction driven design space exploration of heterogeneous programmable architectures. ISSS 2001: 256-261
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrabhat Mishra, Peter Grun, Nikil D. Dutt, Alexandru Nicolau: Processor-Memory Co-Exploration driven by a Memory-Aware Architecture Description Language. VLSI Design 2001: 70-75

Coauthor Index

1Magdy S. Abadir [10] [17] [23]
2Nikhil Bansal [9]
3Kanad Basu [32]
4Jayanta Bhadra [23]
5Mingsong Chen [33] [36]
6Xu Cheng [28]
7Thanh Nga Dang [39]
8Nikil D. Dutt (Nikil Dutt) [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [19] [21] [22] [30] [35]
9Ann Gordon-Ross [37]
10Peter Grun [1] [3]
11Ashok Halambi [3]
12Zhuo Huang [18]
13Dhrubajyoti Kalita [33]
14Yaron Kashai [14]
15Arun Kejariwal [7] [13]
16Heon-Mo Koo [18] [23] [25] [26] [31] [34]
17Narayanan Krishnamurthy [10] [17]
18Xianfeng Li [28]
19Mahesh Mamidipaka [11]
20Tulika Mitra [28] [39]
21Chetan Murthy [40]
22Alexandru Nicolau (Alex Nicolau) [1] [2] [3] [5]
23Xiaoke Qin [38]
24Mehrdad Reshadi [8] [9] [20] [21] [35]
25Abhik Roychoudhury [28] [39]
26Seok-Won Seong [24] [27] [29]
27Aviral Shrivastava [22]
28Hiroyuki Tomiyama [3] [5]
29Weixun Wang [37]

Colors in the list of coauthors

Copyright © Mon Nov 9 16:52:13 2009 by Michael Ley (ley@uni-trier.de)