NSL code to Verilog code parameter passing