yosys - YOSYS から AST 結果をテキストファイルとして取得する方法

Question

YOSYS (win32 の場合は YOSYS) が read_verilog _dump_ast コマンドを使用して AST 結果を取得できることはわかっていますが、結果はコマンド ウィンドウに表示されます。コマンド ウィンドウから結果をテキスト ファイルとして取得するにはどうすればよいでしょうか。どうもありがとうございました！