yosys
iverilog
ghdl
{% if display_server %}
gtkwave
{% endif %}