Skip to main content

wprog_config_image_unchecked

logicaffeine_compile::codegen_sva::wprog_engine_rtl

Function wprog_config_image_unchecked 

Source 
pub fn wprog_config_image_unchecked(cfg: &WProgConfig) -> WImage
Expand description

Build the flat wire image WITHOUT the generic-engine fit check — for streaming into a BIG-cap engine (the backend/scale work: the pipelined BRAM engine sized to run every benchmark) whose caps exceed the generic netlist. The caller guarantees the program fits the target cap profile; only the MAXK konst-table bound (shared by every profile) is still asserted here.