pub fn synthesize_cut(
verilog: &str,
top: &str,
params: &[(&str, &str)],
undefined: Undefined,
units: &[&str],
) -> Result<CutNetlist, NetlistError>Expand description
top with every instance of the units modules cut out (script_cut), each undefined bit read as undefined
says: a composition whose units are proven apart, to be proven over its units as functions it knows nothing of.