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