Skip to main content

synthesize

logicaffeine_compile::codegen_sva::choreography

Function synthesize 

Source 
pub fn synthesize(
    mp: &Metapipeline,
    hops: &[usize],
    t: &PlasticineTarget,
    budget: LinkBudget,
) -> Choreography
Expand description

Synthesize the control plane of mp given the mesh distance of each edge (hops[i] for mp.edges[i]). Forward latency is producing the item plus carrying it; backward latency is the credit’s return trip.