Skip to main content

compile_to_config_table

logicaffeine_compile::codegen_sva::fabric_config

Function compile_to_config_table 

Source 
pub fn compile_to_config_table(
    sources: &[(&str, &str)],
    width: u32,
    cfg_width: u32,
) -> ConfigTable
Expand description

Compile a set of (source, function-name) datapaths to a ConfigTable: if-convert each function to a single-output decision island, place it on the tile array, then PAD every island to the common max_rows × max_cols so they share ONE reconfigurable array. width is the datapath width for the SAT proof; cfg_width must index all datapaths ((1 << cfg_width) >= sources.len()).