Modeling of Generic Transfer Functions in SystemVerilog. Demystifying the Analytic Model