pub fn compression_farm_checked_verilog<const LANES: usize, const ROUNDS: usize, const ADDRESS_BITS: usize>() -> Result<String, RHDLError>where
W<ROUNDS>: BitWidth,
W<ADDRESS_BITS>: BitWidth,Expand description
Emits and Icarus-checks a small farm specialization.
This function is intended for small lowering-equivalence gates. The pinned RHDL/Icarus path cannot lex the complete 3x64 hierarchy as one monolithic generated source file.
ยงErrors
Returns an error if the specialization is invalid, RHDL lowering fails, or Icarus rejects the generated module hierarchy.