https://www.axolot-logic.com/en/guides/ubuntu_modelsim/