So far I have only programmed Verilog sources on the FPGA, similar to BLINKY LED using VHDL on Arty A7 35T FPGA. Yesterday I saw in The Digilent Arty S7: An Unexpected Journey that the hardware offers a lot of help. But how do you decide whether to program with the board or just Verilog?