Skip to main content

fits_caps

logicaffeine_compile::codegen_sva::engine_build

Function fits_caps 

Source 
pub fn fits_caps(
    cfg: &WProgConfig,
    params: &[i64],
    caps: &str,
) -> Result<(), String>
Expand description

Check the program against the caps of the image that is actually on the board (NAME=N,…, the recipe the build records beside every bitstream). The static dimensions are read off the config; DEPTH and HEAP are data-dependent, so they are MEASURED by running the program on the model with the exact params about to be streamed. An over-cap program loads fine and returns a plausible wrong number — this is the guard.