Skip to main content

cells_datapath

logicaffeine_compile::codegen_sva::fabric_grid

Function cells_datapath 

Source 
pub fn cells_datapath<B: Datapath>(
    b: &mut B,
    cells: &[LoopCell],
    result: Src,
) -> Option<B::V>
Expand description

Lower a straight-line LoopCell body through the datapath vocabulary b — the placer’s own lowering vocabulary, and the SPECIFICATION side of the placement obligation. None for a cell with no propositional lowering (a functional unit, a memory tile, a packed-SIMD tile).