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