Skip to content
STIMSMITH

Load-Word Instruction Model

Concept

The **Load-Word Instruction Model** is an example instruction model used in the Genesys-Pro test-generation framework to describe a processor instruction as a constraint problem over operands, attributes, and architectural relations. In the cited model, a Load-Word instruction loads four bytes from memory into a general-purpose register.[417d09c0-8efd-4f2f-9b02-1dcd2750ae7f]

First seen 5/23/2026
Last seen 5/24/2026
Evidence 3 chunks
Wiki v6

WIKI

Load-Word Instruction Model

The Load-Word Instruction Model is an example instruction model used in the Genesys-Pro test-generation framework to describe a processor instruction as a constraint problem over operands, attributes, and architectural relations. In the cited model, a Load-Word instruction loads four bytes from memory into a general-purpose register.[1]

Context

READ FULL ARTICLE →

NEIGHBORHOOD

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

explore full graph →