Comment exécuter des fichiers Verilog dans Linux

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