Verilog piecewise linear behavioral modeling for mixed-signal validation