Function synthesize_reading 

pub fn synthesize_reading(
    verilog: &str,
    top: &str,
    params: &[(&str, &str)],
    undefined: Undefined,
) -> Result<Netlist, NetlistError>

synthesize, each undefined bit read as undefined says.