Skip to main content

try_emit_seq_program_verilog

logicaffeine_compile::codegen_sva::fabric_rtl

Function try_emit_seq_program_verilog 

Source 
pub fn try_emit_seq_program_verilog(
    name: &str,
    pf: &ProgramCfgFabric,
) -> Result<String, LoweringError>
Expand description

Graceful entry to the whole-program sequenced fabric: Ok(rtl) when every block lowers (register tiles + the shared state plane for Seq/string programs), or Err(StatePlaneUnlowered) for the residual MemRead loop-sequence form. The typed companion to the panicking emit_seq_program_verilog.