Verilog Function Input And Output Rules Of The Road