Skip to main content

reduction_scale_pass

logicaffeine_compile::codegen_ana::reduction

Function reduction_scale_pass 

Source 
pub fn reduction_scale_pass(
    r: &AnalogReduction,
    target: &AnalogTarget,
) -> Result<(GainSchedule, RangeCertificate), AnaLowerError>
Expand description

Schedule + certify the reduction: quantize the tick’s weights, ITERATE the interval propagation over the declared maximum frame count (hulling per net), choose the block scale over the whole trajectory, and emit the certificate the independent checker replays with the same iteration.