Виртуальный пакет: verilog

Это виртуальный пакет. О том, что такое виртуальные пакеты читайте в политике Debian.

Пакеты, предоставляющие verilog

iverilog

Icarus verilog compiler