Microprocessor Verification via Feedback-Adjusted Markov Models
PaperFirst 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
6 connectionsThe paper cites and discusses the Markov model paper by Wagner et al.
The paper introduces and uses a feedback-adjusted Markov model for microprocessor verification.
The StressTest tool is the implementation described in the paper by Wagner et al.
The paper targets microprocessor verification as its primary application.
Wagner, Ilya is listed as an author of the Microprocessor Verification paper.
The paper was published in an IEEE Transactions journal.