Search the dblp DataBase
Prabhat Mishra :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Prabhat Mishra , Ashok Halambi , Peter Grun , Nikil D. Dutt , Alexandru Nicolau , Hiroyuki Tomiyama Automatic Modeling and Validation of Pipeline Specifications driven by an Architecture Description Language. [Citation Graph (0, 0)][DBLP ] ASP-DAC, 2002, pp:458-466 [Conf ] Mehrdad Reshadi , Nikhil Bansal , Prabhat Mishra , Nikil D. Dutt An efficient retargetable framework for instruction-set simulation. [Citation Graph (0, 0)][DBLP ] CODES+ISSS, 2003, pp:13-18 [Conf ] Mehrdad Reshadi , Prabhat Mishra Memory access optimizations in instruction-set simulators. [Citation Graph (0, 0)][DBLP ] CODES+ISSS, 2005, pp:237-242 [Conf ] Mehrdad Reshadi , Prabhat Mishra , Nikil D. Dutt Instruction set compiled simulation: a technique for fast and flexible instruction set simulation. [Citation Graph (0, 0)][DBLP ] DAC, 2003, pp:758-763 [Conf ] Heon-Mo Koo , Prabhat Mishra Functional test generation using property decompositions for validation of pipelined processors. [Citation Graph (0, 0)][DBLP ] DATE, 2006, pp:1240-1245 [Conf ] Prabhat Mishra , Nikil Dutt Graph-Based Functional Test Program Generation for Pipelined Processors. [Citation Graph (0, 0)][DBLP ] DATE, 2004, pp:182-187 [Conf ] Prabhat Mishra , Nikil D. Dutt Functional Coverage Driven Test Generation for Validation of Pipelined Processors. [Citation Graph (0, 0)][DBLP ] DATE, 2005, pp:678-683 [Conf ] Prabhat Mishra , Nikil D. Dutt , Alexandru Nicolau , Hiroyuki Tomiyama Automatic Verification of In-Order Execution In Microprocessors with Fragmented Pipelines and Multicycle Functional Units. [Citation Graph (0, 0)][DBLP ] DATE, 2002, pp:36-43 [Conf ] Prabhat Mishra , Nikil D. Dutt Functional Validation of Programmable Architectures. [Citation Graph (0, 0)][DBLP ] DSD, 2004, pp:12-19 [Conf ] Heon-Mo Koo , Prabhat Mishra Test generation using SAT-based bounded model checking for validation of pipelined processors. [Citation Graph (0, 0)][DBLP ] ACM Great Lakes Symposium on VLSI, 2006, pp:362-365 [Conf ] Seok-Won Seong , Prabhat Mishra A bitmask-based code compression technique for embedded systems. [Citation Graph (0, 0)][DBLP ] ICCAD, 2006, pp:251-254 [Conf ] Prabhat Mishra , Nikil D. Dutt Modeling and Verification of Pipelined Embedded Processors in the Presence of Hazards and Exceptions. [Citation Graph (0, 0)][DBLP ] DIPES, 2002, pp:81-90 [Conf ] Prabhat Mishra , Nikil D. Dutt , Alexandru Nicolau Functional abstraction driven design space exploration of heterogeneous programmable architectures. [Citation Graph (0, 0)][DBLP ] ISSS, 2001, pp:256-261 [Conf ] Heon-Mo Koo , Prabhat Mishra , Jayanta Bhadra , Magdy S. Abadir Directed Micro-architectural Test Generation for an Industrial Processor: A Case Study. [Citation Graph (0, 0)][DBLP ] MTV, 2006, pp:33-36 [Conf ] Prabhat Mishra , Nikil D. Dutt A Methodology for Validation of Microprocessors using Equivalence Checking. [Citation Graph (0, 0)][DBLP ] MTV, 2003, pp:83-88 [Conf ] Prabhat Mishra , Nikil D. Dutt , Yaron Kashai Functional Verification of Pipelined Processors: A Case Study. [Citation Graph (0, 0)][DBLP ] MTV, 2004, pp:79-84 [Conf ] Prabhat Mishra , Heon-Mo Koo , Zhuo Huang Language-driven Validation of Pipelined Processors using Satisfiability Solvers. [Citation Graph (0, 0)][DBLP ] MTV, 2005, pp:119-126 [Conf ] Prabhat Mishra , Arun Kejariwal , Nikil Dutt Rapid Exploration of Pipelined Processors through Automatic Generation of Synthesizable RTL Models. [Citation Graph (0, 0)][DBLP ] IEEE International Workshop on Rapid System Prototyping, 2003, pp:226-232 [Conf ] Prabhat Mishra , Peter Grun , Nikil D. Dutt , Alexandru Nicolau Processor-Memory Co-Exploration driven by a Memory-Aware Architecture Description Language. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2001, pp:70-75 [Conf ] Prabhat Mishra , Arun Kejariwal , Nikil Dutt Synthesis-driven Exploration of Pipelined Embedded Processors. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2004, pp:921-926 [Conf ] Prabhat 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. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2002, pp:458-0 [Conf ] Prabhat Mishra , Nikil Dutt , Narayanan Krishnamurthy , Magdy S. Abadir A Top-Down Methodology for Microprocessor Validation. [Citation Graph (0, 0)][DBLP ] IEEE Design & Test of Computers, 2004, v:21, n:2, pp:122-131 [Journal ] Mehrdad Reshadi , Nikil Dutt , Prabhat Mishra A retargetable framework for instruction-set architecture simulation. [Citation Graph (0, 0)][DBLP ] ACM Trans. Embedded Comput. Syst., 2006, v:5, n:2, pp:431-452 [Journal ] Prabhat Mishra , Nikil Dutt Modeling and validation of pipeline specifications. [Citation Graph (0, 0)][DBLP ] ACM Trans. Embedded Comput. Syst., 2004, v:3, n:1, pp:114-139 [Journal ] Prabhat Mishra , Mahesh Mamidipaka , Nikil Dutt Processor-memory coexploration using an architecture description language. [Citation Graph (0, 0)][DBLP ] ACM Trans. Embedded Comput. Syst., 2004, v:3, n:1, pp:140-162 [Journal ] Prabhat Mishra , Aviral Shrivastava , Nikil Dutt Architecture description language (ADL)-driven software toolkit generation for architectural exploration of programmable SOCs. [Citation Graph (0, 0)][DBLP ] ACM Trans. Design Autom. Electr. Syst., 2006, v:11, n:3, pp:626-658 [Journal ] Seok-Won Seong , Prabhat Mishra An efficient code compression technique using application-aware bitmask and dictionary selection methods. [Citation Graph (0, 0)][DBLP ] DATE, 2007, pp:582-587 [Conf ] A Retargetable Software Timing Analyzer Using Architecture Description Language. [Citation Graph (, )][DBLP ] Specification-based compaction of directed tests for functional validation of pipelined processors. [Citation Graph (, )][DBLP ] Generating test programs to cover pipeline interactions. [Citation Graph (, )][DBLP ] PreDVS: preemptive dynamic voltage scaling for real-time systems using approximation scheme. [Citation Graph (, )][DBLP ] Efficient decision ordering techniques for SAT-based test generation. [Citation Graph (, )][DBLP ] Coverage-driven automatic test generation for uml activity diagrams. [Citation Graph (, )][DBLP ] A novel test-data compression technique using application-aware bitmask and dictionary selection methods. [Citation Graph (, )][DBLP ] Bitmask-based control word compression for NISC architectures. [Citation Graph (, )][DBLP ] Temperature- and energy-constrained scheduling in multitasking systems: a model checking approach. [Citation Graph (, )][DBLP ] Efficient Placement of Compressed Code for Parallel Decompression. [Citation Graph (, )][DBLP ] SACR: Scheduling-Aware Cache Reconfiguration for Real-Time Embedded Systems. [Citation Graph (, )][DBLP ] Efficient Techniques for Directed Test Generation Using Incremental Satisfiability. [Citation Graph (, )][DBLP ] Leakage-Aware Energy Minimization Using Dynamic Voltage Scaling and Cache Reconfiguration in Real-Time Systems. [Citation Graph (, )][DBLP ] Synchronized Generation of Directed Tests Using Satisfiability Solving. [Citation Graph (, )][DBLP ] Search in 0.034secs, Finished in 0.337secs