Systemverilog Function Input Output Rules