test generator
ToolFirst seen 7/8/2026
Last seen 8/12/2026
Evidence 9 chunks
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
14 connectionsThe test generator implements the dynamic interleaving of test templates to produce combined test cases.
The test generator introduces random unspecified values during test case generation.
The test generator converts micro-architectural model and user request into an ECondCSP to generate test cases.
The test generator applies the global knowledge base across templates during generation.
The test generator generates test programs for verifying the design under test.
The test generator can process templates on-the-fly to produce transactions.
Model-based test generation is described as a technique used by test generators.
Constraint satisfaction for test program generation is a technique used by test generators.
The test generator receives a micro-architectural model of the DUT as input.
The test generator converts user requests for micro-architectural events into test programs.
The knowledge base used by the test generator includes coverage criteria.
The test generator performs weighted selection of templates to determine the order of transactions.
The template arbitrator unit is a component within the test generator engine that chooses which template generates the next transaction.
The test generator is the central component of the design verification system.