json - 如何在 YosysJS 中使用“write_json”命令

Question

我是 Yosys 的新手，并尝试使用 YosysJS 生成输入 verilog 文件的 json 描述。有关于如何在 Yosys 中使用该命令的文档。但我不明白如何在 YosysJS 中使用它。我可以使用以下代码在综合的不同阶段之后绘制 RTL 图：

    ys.write_file("input.v", document.getElementById("code").value);
    ys.run("design -reset; read_verilog input.v; synth -run coarse; show - 
    stretch");
    YosysJS.dot_into_svg(ys.read_file("show.dot"), "svg");

我想知道需要在 ys.run() 函数中作为参数运行什么命令。

谢谢你。

Answer 1

您想要运行的命令完全取决于您要执行的操作。请参阅什么是好的“模板”Yosys 综合脚本？一些指针。运行help将为您提供所有可用命令的列表（help <command>并将打印指定命令的详细信息）。