Package: verilator

"verilator" package binaries on Debian:

/usr/bin/verilator_bin_dbg /usr/bin/verilator_bin /usr/bin/verilator /usr/bin/verilator_profcfunc /usr/share/verilator/bin/verilator_includer

You may install this package on Debian with apt-get install verilator