When I am trying to generate verilog using the command make -f Makefile.e300artydevkit verilog, I noticed that the generated verilog does not have GPIO 6, 7 and 8 in platform? Did I do something wrong?
Since they aren’t connected at the top level, they get constant propagated away in the emitted verilog. If you connect them to something at the top level you will see them again.
Right, but the constant propagation is global. Since it is not connected at the top level it is stripped away at Platform and System level in the emitted verilog.