Skip to main content

grid_output_to_gates

logicaffeine_compile::codegen_sva::fabric_grid

Function grid_output_to_gates 

Source 
pub fn grid_output_to_gates(
    g: &Grid,
    which: usize,
    width: u32,
    name_in: &dyn Fn(usize) -> String,
) -> Option<Word>
Expand description

Lower output which STRAIGHT INTO THE SHARED GATE DAG at width — the certifier’s path. Same walk, same tiles, same circuit as grid_output_to_bounded; it just never materialises the tree, which for a reconvergent datapath is exponentially larger than the array that computes it. None when a tile has no propositional lowering.