Do people just burn their Verilog code to the board to test it?
For pre-synthesis, RTL simulation and testing, I use ICARUS Verilog under Linux and GTKWave. Note that if you plan on using it with ICARUS Verilog, you will need one of the latest developer snapshots as the code I wrote found some problems in their real value handling. It is definitely NOT recommended you just put it into an FPGA and run with it as you really have no idea what’s going on inside there. Accurate modeling can really help with your debugging time.