COMS30026 Design Verification: Stimuli Generation
PaperFirst seen 7/12/2026
Last seen 7/12/2026
Evidence 6 chunks
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
20 connectionsThe paper discusses online test generation as an alternative to offline generation.
The paper discusses generating instructions out of order as an example of complex offline generation.
The paper discusses static test generation as a generation strategy.
The paper discusses dynamic test generation as a strategy where the generator reacts to DUV state.
The PowerPC processor is used as the running example throughout the paper.
The paper discusses offline test generation as an option for when to generate stimuli.
The paper discusses reaching corner cases as a key challenge in stimuli generation.
The paper discusses a single unified generator as an alternative architecture.
The paper discusses synchronized generators as a hybrid approach.
Kerstin Eder is the author of the stimuli generation lecture slides.
The paper discusses error injection as a technique in stimuli generation.
The paper discusses test length as an issue in stimuli generation.
Constrained pseudo-random stimulus generation is discussed in Part II of the paper.
The paper discusses levels of abstraction for stimuli generation.
The slides are produced under University of Bristol affiliation.
Avi Ziv is acknowledged for permitting reuse of his slides.
Stimuli generation is the central topic of the paper.
The paper discusses achieving all items in the test scenarios matrix of the verification plan.
The test scenarios matrix of the verification plan is used to define stimuli generation goals.
The paper discusses distributed generators as one option for how many generators to use.