Skip to main content

logos_candidate

logicaffeine_compile::codegen_sva::qor_harness

Function logos_candidate 

Source 
pub fn logos_candidate(
    id: &str,
) -> Result<(Candidate, Vec<(String, String)>), QorError>
Expand description

The LOGOS candidate of kernel id: its harness-facing description and its Verilog files (file name, contents). K1, K2 and K6 are compiled from their LOGOS programs; K4 and K5 come from the RTL generators; the remaining kernels’ candidates are built by their own protocols.