ldInstr

CodeArtifact

First seen 6/22/2026

Last seen 6/22/2026

Evidence 1 chunks

NEIGHBORHOOD

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

13 connections

RandObj extends → 100% 1e

ldInstr subclasses RandObj, inheriting its constrained randomization framework.

constrainedrandom uses → 100% 1e

ldInstr imports and uses the constrainedrandom library for constrained random variable generation.

ldInstr implements constrained random stimulus generation by defining random variables and constraints for a load instruction.

ldInstr encodes a load instruction by combining its fields into an opcode via get_opcode().

random variable uses → 100% 1e

ldInstr defines multiple random variables (src0, wb, dst0, imm0) using add_rand_var.

constraint uses → 100% 1e

ldInstr adds constraints to enforce writeback and word-alignment rules using add_constraint.

writeback implements → 97% 1e

ldInstr includes a writeback field (wb) and a constraint ensuring dst0 != src0 when wb is set.

word alignment implements → 97% 1e

ldInstr enforces word alignment of the effective address via the sum_src0_imm0 constraint.

immediate offset uses → 100% 1e

ldInstr uses an 11-bit immediate offset field (imm0) as part of the instruction encoding.

ldInstr reads a modeled register value for src0 via a getter function to evaluate constraints.

post_randomize implements → 100% 1e

ldInstr defines a post_randomize method that computes the final opcode after randomization completes.

Opcode Generation implements → 100% 1e

ldInstr implements opcode generation in get_opcode() by combining the fixed encoding and randomized fields.

ldInstr uses the order parameter in add_rand_var to control the sequence of variable randomization.