如何从 YOSYS 获取 AST 结果作为文本文件答案

【问题标题】：How to get the AST result as a textfile from YOSYS如何从 YOSYS 获取 AST 结果作为文本文件
【发布时间】：2016-05-18 16:32:36
【问题描述】：

我们知道 YOSYS (YOSYS for win32) 可以使用 read_verilog _dump_ast 命令得到一个 AST 结果，但是在命令窗口中查看结果。我们如何从命令窗口获取文本文件的结果？非常感谢！

【问题讨论】：

标签： yosys

【解决方案1】：

您可以使用-l 命令行选项（例如yosys -l logfile.txt）或使用yosys 中的tee 命令重定向yosys 日志输出：

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

【讨论】：

非常感谢！你给了我很大的帮助！
我还有一个问题。当我们得到 AST 文本文件时，我们如何将 AST 文本文件读取到 YOSYS 以继续 systhsising 以获得 systhsised 结果？假设在我对 AST 进行一些更改之后。
@jason 你没有。 AST 转储只是一个调试输出。要么修改原始 Verilog 代码，要么在 Verilog 前端完成后转储、修改和读取 ilang 表示（参见write_ilang 和read_ilang）。
a@CliffordVienna，非常感谢！好吧，我想做的是获取给定 Verilog 的 AST，然后修改或更改 AST，最后将 AST 读取到 YOSYS（或其他工具）合成并获得修改后的 Verilog。现在，在你的帮助下，我才知道第一步。 YOSYS 的ASTS 是否容易更改或修改并最终输入到YOSYS 进行合成？哪些工具适合修改ASTS？如果 YOSYS 无法读取修改后的 AST，哪些工具可以完成这项工作？