Skip to main content

certify_gates_bounded

logicaffeine_compile::codegen_sva::pnr_certificate

Function certify_gates_bounded 

Source 
pub fn certify_gates_bounded(
    grid: &Word,
    datapath: &Word,
) -> Result<PlacementCertificate, CertifyRefusal>
Expand description

certify_gates with the refusal NAMED, against the production GATE_BUDGET_NODES.