Module control 

Launch configuration, run state, AXI4-Lite helpers, and HSR1 summary.

Structs

ConfigValidation

Result of fail-closed launch validation.

LaunchConfig

Host-programmable launch arguments.

SummaryFields

Values serialized into the one-line terminal summary.

SummaryWriteStatus

Summary-write evidence packed into the host-visible terminal status.

Enums

RunState

Whole-run controller state.

Functions

apply_write_strobes_kernel

Apply AXI4-Lite byte strobes to one register value.

high_word_kernel

High 32 bits of a 64-bit register.

last_status_is_host_success_kernel

Host-visible success requires summary occurrence and canonical retirement.

last_status_kernel

Pack the terminal status register independently from the in-memory summary.

low_word_kernel

Low 32 bits of a 64-bit register.

replace_high_word_kernel

Replace a byte-strobed high half of a 64-bit register.

replace_low_word_kernel

Replace a byte-strobed low half of a 64-bit register.

summary_line_kernel

Serialize the fixed 64-byte little-endian HSR1 record.

validate_config_kernel

Validate all arguments before issuing either HBM master.