Verilog programming specification in FPG