Skip to content
STIMSMITH

Prabhat Mishra

Person
First seen 6/11/2026
Last seen 8/1/2026
Evidence 12 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

9 connections
Functional Test Generation using SAT-based Bounded Model Checking ← authored by 100% 2e
Prabhat Mishra co-authored the paper on SAT-based bounded model checking for test generation.
University of Florida part of → 100% 2e
Prabhat Mishra is affiliated with the University of Florida
Graph-Based Functional Test Program Generation for Pipelined Processors ← authored by 100% 2e
Prabhat Mishra co-authored the paper on graph-based functional test generation.
Specification-based Compaction of Directed Tests for Functional Validation of Pipelined Processors ← authored by 100% 1e
Prabhat Mishra is listed as an author of the paper.
Architecture Description Language driven Functional Test Program Generation for Microprocessors using SMV ← authored by 100% 1e
The paper is authored by Prabhat Mishra
Directed Micro-architectural Test Generation for an Industrial Processor: A Case Study ← authored by 100% 1e
Prabhat Mishra is listed as an author of the paper
Center for Embedded Computer Systems, University of California, Irvine part of → 100% 1e
Prabhat Mishra is affiliated with the Center for Embedded Computer Systems at UC Irvine
FuSS: Coverage-Directed Hardware Fuzzing with Selective Symbolic Execution ← authored by 100% 1e
The paper is authored by Prabhat Mishra.
A Methodology for Validation of Microprocessors using Equivalence Checking ← authored by 100% 1e
Prabhat Mishra is listed as an author of the paper.