Como executar arquivos Verilog no Linux

# to get waveform (dunmped as "wave.vcd")
gtkwave wave.vcd
z_z