Skip to content
STIMSMITH

Feedback-Adjusted Markov Model

Technique
First seen 7/14/2026
Last seen 7/14/2026
Evidence 3 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

4 connections
AI based SystemVerilog TB generation ← mentions 100% 2e
The paper discusses feedback-adjusted Markov models used in the StressTest tool.
Microprocessor Verification via Feedback-Adjusted Markov Models ← uses 100% 2e
The paper introduces and uses a feedback-adjusted Markov model for microprocessor verification.
StressTest ← uses 100% 2e
StressTest is driven by a feedback-adjusted Markov model for random instruction generation.
Stimulus Generation implements → 100% 1e
The feedback-adjusted Markov model generates stimuli by dynamically adjusting transition probabilities.