Cómo ejecutar archivos Verilog en Linux

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