How to get the AST result as a textfile from YOSYS

问题:

We know that YOSYS (YOSYS for win32) can get an AST result using read_verilog _dump_ast command, but the result view in the command window. How can we get the result as a textfile from the command window? Thank you very much!

回答1:

You can redirect the yosys log output using the -l command line option (e.g. yosys -l logfile.txt), or using the tee command in yosys:

tee -o outputfile.txt read_verilog -dump_ast1 input .v