Instruction Generation
ConceptInstruction generation is the instruction-level phase of pseudorandom test-program generation: it creates concrete instruction instances that satisfy architectural constraints and testing-knowledge constraints. In the Genesys-Pro approach, a single instruction request is formulated as a constraint satisfaction problem (CSP), solved with a customized maintaining-arc-consistency (MAC) algorithm, and then simulated through an architectural reference model.
WIKI
Definition
Instruction generation is the instruction-level part of test-program generation that creates specific instruction instances. It is distinct from stream-level generation, which determines which instructions appear in a test and in what order; instruction-level generation then constructs the concrete instances of those instructions. [instruction-level role]
CSP formulation
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →