log - print text and log files

yosys> help log
log [options] string
log [ -push | -pop ]
Print the given string to the screen and/or the log file. This is useful for TCL
scripts, because the TCL command "puts" only goes to stdout but not to
Print the output to stdout too. This is useful when all Yosys is
executed with a script and the -q (quiet operation) argument to notify
the user.
Print the output to stderr too.
Don't use the internal log() command. Use either -stdout or -stderr,
otherwise no output will be generated at all.
do not append a newline
log a pass header
push a new level on the pass counter
pop from the pass counter