Skip to main content

nested_inner_next_to_bounded

logicaffeine_compile::codegen_sva::fabric_rtl

Function nested_inner_next_to_bounded 

Source 
pub fn nested_inner_next_to_bounded(
    nf: &NestedFabric,
    which: usize,
    width: u32,
) -> BoundedExpr
Expand description

Lower ONE inner-body state register’s next-state to a BoundedExpr over s0.., ij, oi, inv0.. — for the certified inner body step (the base of the double induction).