Yosys AIG 输出格式不清楚

Question

我想知道json -aig命令生成的AIG格式

示例输出：

  "models": {
    "$xor:0:0:1:1:1": [
      /*   0 */ [ "port", "A", 0 ],
      /*   1 */ [ "port", "B", 0 ],
      /*   2 */ [ "nport", "B", 0 ],
      /*   3 */ [ "nport", "A", 0 ],
      /*   4 */ [ "nand", 2, 3 ],
      /*   5 */ [ "nand", 0, 1 ],
      /*   6 */ [ "and", 4, 5, "Y", 0 ]
    ],
    "$and:0:0:1:1:1": [
      /*   0 */ [ "port", "A", 0 ],
      /*   1 */ [ "port", "B", 0 ],
      /*   2 */ [ "and", 0, 1, "Y", 0 ]
    ]
  }

我查阅了文档，但我不清楚端口、nport 等术语。

Answer 1

write_json 帮助中有一些基本信息（您也可以在 Yosys 中运行 help write_json）：http://yosyshq.net/yosys/cmd_write_json.html