Function synthesized 

pub fn synthesized(verilog: &str) -> String

verilog as synthesis reads it: without its simulation-only regions.