pub fn fadd_verilog(module: &str, s: &Semantics) -> String
A combinational binary32 add under s, ports a, b, y.
s
a
b
y