logicaffeine_compile::codegen_sva::wprog_engine_rtl

Function wprog_config_fits_stream_engine

pub fn wprog_config_fits_stream_engine(cfg: &WProgConfig) -> Result<(), String>

Expand description

Returns Ok iff cfg fits the WPE_STREAM_* profile (the whole streamed transformer’s engine). Every dimension is a program TOTAL (the flat config memories accumulate across blocks). Named-loudly on overflow so a growing model is caught before it silently corrupts the flat config image.

wprog_config_fits_stream_engine

Function wprog_config_fits_stream_engine Copy item path

Function wprog_config_fits_stream_engine