Skip to main content

fabric_to_bounded

logicaffeine_compile::codegen_sva::fabric_rtl

Function fabric_to_bounded 

Source 
pub fn fabric_to_bounded(
    ops: &[FabricOp],
    result: usize,
    width: u32,
) -> BoundedExpr
Expand description

Lower a residual op-list to a BoundedExpr (bit-vector datapath) at the given width — the bridge that lets our certified SAT reason about the emitted circuit exhaustively.