Module shell 

Production U280 shell controller and typed signer boundary.

Structs

HbmShellInput

All external inputs to the RHDL shell.

HbmShellOutput

All external outputs from the RHDL shell.

ShellControl

Resettable shell ownership and audit state.

U280HbmShell

RHDL shell with resetless payload registers and BRAM frame storage.

Constants

U280_HBM_SHELL_MODULE

Stable generated module name consumed by the wire-only U280 adapter.

Functions

bool_word_kernel

Convert one control bit to a diagnostic word without a Rust-only cast.

queue_status_kernel

Pack live queue state for the read-only diagnostic register.

try_u280_hbm_shell_unchecked_verilog

Render the complete shell hierarchy without claiming parser or implementation evidence.

u280_hbm_shell_kernel

Transition for the complete U280 transport shell.