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