如何使用'；写json'；YosysJS中的命令

我是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（）中运行什么命令 函数作为参数

---

谢谢。

您希望运行什么命令完全取决于您尝试执行的操作。请参阅以获取一些提示。运行

help

将为您提供所有可用命令的列表（并且

help

将打印指定命令的详细信息）