Man pages matching name iverilog in section 1:

iverilog.1.en	debian 10 / iverilog
iverilog.1.en	debian 11 / iverilog
iverilog.1.en	debian 12 / iverilog