Eu não tentei veriwell mas eu uso Icarus e GTKWave para um ambiente de simulação de verilog.
Eu uso o modo verilog em Aquamacs como editor de realce de sintaxe.
Pegue seu hello.vl (usando apenas .v é mais usual) e compile usando
iverilog -o hello hello.vl
Isso criará um arquivo de objeto chamado hello. Para executá-lo, digite
vpp hello
Uma vez que você comece a escrever bancos de testes, você desejará despejar um arquivo wave. Você faz isso adicionando isso ao seu banco de testes.
initial
begin
$dumpfile("wave.lxt");
$dumpvars(0, <test bench module>);
end
Você pode então carregar o wave.lxt no GTKWave (note que você precisa do X11 para usar o GTKWave).
Um pouco mais avançado, você pode configurar Aquamacs para usar Icarus para compilar seu código, para que você saiba se você tem um erro de compilação antes de sair do editor.