logicaffeine_compile::codegen_sva::wprog_engine_rtl

Function wprog_config_image

pub fn wprog_config_image(cfg: &WProgConfig) -> WImage

Expand description

Flatten a WProgConfig into its loadable image — the exact tables the generic engine walks: block records with base pointers into flat cell / write / arg / live-in pools, and a constant pool for Const operands.

wprog_config_image

Function wprog_config_image Copy item path

Function wprog_config_image