Skip to main content

certify_mapping_within

logicaffeine_compile::codegen_sva::pnr_certificate

Function certify_mapping_within 

Source 
pub fn certify_mapping_within(
    grid: BoundedExpr,
    datapath: BoundedExpr,
    budget: u128,
) -> Result<PlacementCertificate, CertifyRefusal>
Expand description

certify_mapping_bounded against an EXPLICIT bit-blast ceiling — the seam a lock shrinks to prove the budget is live code and not a constant nobody reads.