write_file - write a text to a file¶
yosys> help write_file¶
write_file [options] output_file [input_file]
Write the text from the input file to the output file.
Append to output file (instead of overwriting)
Inside a script the input file can also can a here-document: write_file hello.txt <<EOT Hello World! EOT