Verilog Function With A Removable Discontinuity