Como executar arquivos Verilog no Linux
# to get waveform (dunmped as "wave.vcd")
gtkwave wave.vcd
z_z
# to get waveform (dunmped as "wave.vcd")
gtkwave wave.vcd