Crate u280_shell_rhdl 

HashSigs U280 HBM shell

This crate is the Rust/RHDL implementation of the fixed HSR1 U280 kernel transport. It has a deliberately narrow responsibility: AXI4-Lite control, one-line HBM0 job reads, defensive signer-frame capture into two block-RAM slots, 35-beat HBM1 payload writes, and one terminal summary write.

The shell does not implement or select a hash profile. Its typed signer port is connected to the separately generated HASHSIGS_SHA256_GENERIC_V1 signer by a metadata-derived, wire-only Verilog adapter. The legacy Keccak profile remains a distinct type and build target and is not compatible with this shell ABI.

Generated RTL, simulation, synthesis, implementation, timing, resources, and card execution are separate evidence tiers. Source inspection alone makes none of those claims. The production shell intentionally contains no cryptographic logic. It transports fixed-size jobs from HBM0 to the separately generated SHA-256 signer, validates and buffers complete canonical frames in block RAM, and retires output slots on HBM1 only after an OKAY write response.

Re-exports

pub use shell::HbmShellInput;

pub use shell::HbmShellOutput;

pub use shell::U280HbmShell;

Modules

abi

Frozen host/kernel ABI constants and terminal diagnostics.

axi

Exact packed AXI4-Lite and 512-bit AXI4 channel types.

control

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

frame_store

Canonical frame validation and two-slot synchronous block-RAM storage.

reader

One-outstanding-transaction HBM0 reader state and validation helpers.

scoreboard

Twelve-entry signer ownership scoreboard.

shell

Production U280 shell controller and typed signer boundary.

writer

HBM1 payload writer state, frame queue, and address helpers.