icebox_vlog(1) on Linux
The text 11bceae5e6ef, as Debian 10 (Buster) shipped it.
convert bitstream in .txt format to verilog
Flags it lists
-
-D -
-L -
-P -
-R -
-S -
-c -
-l -
-n -
-p -
-s